PEOPLE Associates (Former)
N Raja
TIFR, Mumbai
  raja  tifrresin

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