PEOPLE Associates (Former) N Raja TIFR, Mumbai & Joint Faculty ICTS-TIFR, Bengaluru Research Interests: Logic and Foundations of Mathematics. Automated and Interactive Theorem Proving.