Vijay Ganesh
Associate Professor, University of Waterloo
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
- DBLP page
- Google Scholar page
- Semantic Scholar page
- Microsoft Academic Search page
- ResearchGate page
- University of Waterloo UWFlow page
- My academic genealogy starting with my advisor David L. Dill (Stanford University)
- Picture 1: In Boston, Massachusetts, USA (2011)
- Picture 2: Silhoutte against the blue sky, Stanford Hills, Stanford, California, USA (2002)
