Vijay Ganesh
  • Position: Assistant Professor
  • Address:
    • Department of EC&E
    • University of Waterloo
    • Waterloo, Ontario, Canada, N2L 3G1
  • Phone: (519) 888-4567 x32866
  • Email: vganesh at uwaterloo.ca
  • Office: DC 2530

Research Interests: SMT Solvers, Formal Methods, Testing, Program Analysis/Synthesis, Security, Programming Languages, Logic in Computer Science

Personal Web Page