Harisankar B
Research student at NISER
Theoretical Computer Science | Formal Methods | Logic | Machine Learning
Recent
LLM Proposes, Lean Disposes: A Week at the LeanLang Summer School
·12 mins
In July 2026 I spent a week at IISc Bangalore for the LeanLang Summer School, run by Emergence. Here is how I got there, what Lean actually is, why formally verified autonomy suddenly matters, and a tour of the week.
The Remarkable Theorem of Gauss
Gauss’s Theorema Egregium reveals that Gaussian curvature is intrinsic: it can be read from distances measured on a surface, without looking at the surrounding 3D space.
Hello, World!
·2 mins
Welcome to my blog! Here I’ll share notes on automated reasoning, formal methods, theoretical computer science, mathematics, machine learning, and more.