University of Waterloo
200 University Ave W, Waterloo, ON
N2L 3G1
Phone: (519) 888-4567
Staff and Faculty Directory
Contact the Department of Electrical and Computer Engineering
Professor Vijay Ganesh of Waterloo's ECE department recently won an IBM Faculty Award for the year 2015 for his work on string solvers and their applications to malware analysis and security. Professor Ganesh, his collaborators, and students also won 3 best paper awards in 2015. Their work on understanding why feature models are easy for SAT solvers landed them a best paper award at the SPLC 2015 conference held in Nashville, Tennessee. The same week, his work on the Z3str2 string solver was presented at the Computer Aided Verification 2015 (CAV 2015) conference held at San Francisco, and was selected as one of the best papers at the conference. Working with mathematicians at Waterloo, Dr. Ganesh's team has built a tool called MathCheck to finitely verify or counterexample math conjectures. A paper on the initial prototype of MathCheck was selected as among the best papers at the prestigious Computer Aided Deduction 2015 (CADE 2015) conference held in Berlin, Germany.
University of Waterloo
200 University Ave W, Waterloo, ON
N2L 3G1
Phone: (519) 888-4567
Staff and Faculty Directory
Contact the Department of Electrical and Computer Engineering
The University of Waterloo acknowledges that much of our work takes place on the traditional territory of the Neutral, Anishinaabeg and Haudenosaunee peoples. Our main campus is situated on the Haldimand Tract, the land granted to the Six Nations that includes six miles on each side of the Grand River. Our active work toward reconciliation takes place across our campuses through research, learning, teaching, and community building, and is centralized within our Office of Indigenous Relations.