Vijay Ganesh

Assistant professor of electrical and computer engineering
Contact Information
519-888-4567, ext. 32866
Location: Davis Centre (DC) 2530
Links
Link to personal webpage: https://ece.uwaterloo.ca/~vganesh/
Additional Information

A world-renowned researcher in the area of automated reasoning for automated bug-finding and software analysis.