Harisankar B
Research student at NISER
Theoretical Computer Science | Formal Methods | Logic | Machine Learning
Recent
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.