PEOPLE Associates (Former)
TIFR, Mumbai & Joint Faculty ICTS-TIFR, Bengaluru

Research Interests:
Logic and Foundations of Mathematics.
Automated and Interactive Theorem Proving.