Hey I'm Chaitanyya (Chai) -
Software Correctness · Formal Verification · Reliable Systems
I am a software engineer and researcher focused on the intersection of formal methods, software reliability, and LLM observability. My work is driven by a central question: how do we build systems whose correctness can be demonstrated, not merely assumed?
I am particularly interested in verification techniques for non-deterministic systems, type-theoretic approaches to software safety, and the emerging challenge of holding stochastic models to rigorous behavioral specifications.
- Formal Verification & Program Correctness - Techniques for proving software behaves according to its specification, with emphasis on practical applicability in production systems.
- LLM Behavioral Analysis - Methods for systematic evaluation, monitoring, and constraint enforcement in large language model deployments.
- Reliability Engineering — Design principles for fault-tolerant architectures where failure modes are characterized formally rather than discovered empirically.