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
My interests tend to cluster around the following themes:
| Project | Description |
|---|---|
| Epistemic Reasoning Core | A symbolic reasoning project exploring uncertainty, justification, and refusal as part of reasoning. Ongoing learning-oriented work. |
| Invariant | An experimental execution framework exploring how LLMs can be treated as untrusted compute with enforced runtime constraints. |
| cpp-notebook | A native C++ notebook-style environment for exploratory computation, inspired by Jupyter but designed for C++. |
| Nirukti | A long-term project focused on Indian Knowledge Systems (IKS), emphasizing primary texts, sources, and slow inquiry. |
| Mahabharata (experimental) | A Long Short-Term Memory (LSTM) neural network, the model learns to predict and generate text sequences, capturing the essence and style of the ancient epic. |
I maintain notes, essays, and project logs on my personal site:
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.