I am a computer science undergraduate interested in how computational systems represent knowledge, handle uncertainty, and behave under constraints.

I am particularly drawn to problems where reasoning breaks down - where systems must decide whether to proceed, defer, or refuse.

My interests tend to cluster around the following themes:

• Symbolic and epistemic reasoning
• Reasoning systems that can express uncertainty or refusal
• Deterministic and auditable execution for AI systems
• Systems programming (primarily C++)
• Indian Knowledge Systems (IKS), approached critically and text-first

I maintain notes, essays, and project logs on my personal site:

https://jeevan-04.github.io

This includes design notes, reflections, and records of changes made over time.

• I am still learning and refining my ideas.
• I value clarity over speed and depth over volume.
• I am open to discussion, feedback, and collaboration.

_{"विद्या विवादाय धनं मदाय शक्तिः परेषां परिपीड़नाय। खलस्य साधोर्विपरीतमेतज्ज्ञानाय दानाय च रक्षणाय॥"
"Knowledge exists to illuminate, share, and protect, standing as a refuge for wise inquiry."}