The Bose-Einstein guest house at IIT-Madras

#india#iitm#fplaunchpad

I stayed at the Bose Einstein guest house at IIT-Madras, which has a rather phenomenal setting on campus with lots of wildlife around.

Related

The FP Launchpad takes off at IIT MadrasApr 2026
A day at the launch of the FP Launchpad at IIT Madras, covering talks on hardware design, trusted execution on Shakti, verifiable Indian tax law, precise JIT analysis, AI-assisted Lean metatheory, constraint-based diagramming, and my own TESSERA talk.