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)