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

• Analytical philosophy, philosophy of science, philosophy of computation, computational scientific method
• Logic foundations of mathematics 
• 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
  

Links

       Profile: Google Scholar (most-cited first), DBLP, Researchgate, LinkedIn, DeepAI, 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)