Ondrej Lhoták
Research interests
Professor Lhoták's research interests are generally in the area of programming languages, compilers, and program analysis, with a specific focus on object-oriented languages.
Ian McKillop
Research Interests
Professor McKillop works in the area of information systems assurance with a focus on data quality, security and performance management issues found in high-availability, mission-critical systems such as those found in banking and healthcare settings.
Ken Salem
Ken Salem joined the University of Waterloo in 1994, in what was then the Department of Computer Science. He received his Ph.D. from Princeton University in 1989 and spent several years at the University of Maryland before moving to Waterloo. He has also held visiting research positions at IBM’s Almaden Research Center, HP Laboratories in Palo Alto, and most recently with Amazon Web Services.
Jeffrey Shallit
Research interests
Professor Shallit is interested in the interplay between number theory, algebra, logic, discrete mathematics and the theory of computation. Most of his recent work focuses on combinatorics on words and automata theory, especially on decision procedures.
Troy Vasiga
Teaching interests
Dr. Vasiga's teaching interests include introductory computer science, compilers, data structures, algorithms and theoretical computer science.
Shalev Ben-David
Shalev Ben-David joined the David R. Cheriton School of Computer Science as an Assistant Professor in July 2018. Previously, he was a Hartree Postdoctoral Fellow at the University of Maryland, College Park. In 2017, Shalev received his PhD in Electrical Engineering and Computer Science from the Massachusetts Institute of Technology, supervised by Scott Aaronson.
