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
|