Interests
       
Besides my research interests in mathematical logic, software engineering, AI, and security, I am also interested in the following topics:

• Philosophy of science, philosophy of computation, computational scientific method
• Logic foundations of mathematics
• Quantum foundations
  
• Science and technology policy
• Chess (I was part of my college chess team that won the University of Kerala Chess Championship in 1994)
  
• Indian music (I used to sing Bollywood and Indian classical at school and college)
• Architecture (Gaudi) and art (Dali)
• Astronomy: Checkout the picture of the Andromeda Galaxy that Carlos Moreno took while he and I went Galaxy hunting on Sep 23, 2017
  

Profile Links

• Google Scholar, DBLP, Researchgate, LinkedIn, ORCID, Semantic Scholar, Math Genealogy, Simons Institute @ Berkeley, arXiv

Academic Genealogy

• My academic genealogy starting with my advisor David L. Dill (Stanford University)

Pictures

• Picture 1: In Boston, Massachusetts, USA (2011)
• Picture 2: Silhoutte against the blue sky, Stanford Hills, Stanford, California, USA (2002)