Our People - Lecturers

• Ph.D., University of Waterloo
• B.A.Sc., McMaster University
• M.A., McMaster University
• B.A., McMaster University

• Research interests focus on optimizing input and interaction techniques, primarily for multi-touch systems, mobile and personal devices
• Teaching interests include software engineering methodology; reducing software complexity; software design, particularly the design of interactive systems

Jeff Avery on Google Scholar

• M.Math., University of Waterloo (1990)
• B.A., Goshen College, United States (1983)

• Byron is course coordinator for CS135, our largest introductory CS course. He invests significant time and energy in keeping it up-to-date.
• Byron is also the author of OAT, software designed to make UW’s academic advisors and other decision-makers more productive and effective.

• Ph.D., University of British Columbia (2015)
• M.Math., University of Waterloo (2010)
• B.Math., University of Waterloo (2009)

• Introductory Imperative Programming (Python, C)
• Computational Logic
• Algorithms and Algorithmic Design

• Ph.D., University of Waterloo (1997)
• M.Math., University of Waterloo (1989)
• B.Sc., Memorial University of Newfoundland (1987)

• I primarily teach introductory computer science courses to non-majors.
• I try to connect concepts taught in class to real-world concerns, and to build interest in computer science, particularly for students who may not have been interested before.

Degrees

• PhD, Computer Science, University of Waterloo

Research interests

• Large-scale systems, storage and infrastructure

Selected publications

Degrees

• PhD, Mathematics, Western University (2017)
• MSc, Mathematics, Institute for Advanced Studies in Basic Sciences, Iran (2012)

Teaching interests

• Theoretical computer science
• Introductory computer science courses
• Quantum computing and cryptography

Research interests

• Computer algebra
• Quantum computing
• Post-quantum cryptography

Degrees

• Ph.D., Western Michigan University
• B.A.Sc., Western Michigan University

• Ph.D., Boston University, United States (2009)
• B.A.Sc., University of Waterloo (2003)

Degrees

• Ph.D., University of Waterloo
• M.Sc., McGill University
• B.Sc., McGill University

Research and teaching interests

• Research interests focus on programming language design, compiler design and optimizations and verifying program properties
• Teaching pedagogy research interests are focused around active-learning techniques especially those around flipped course design

Degrees

• PhD, Applied Mathematics with Scientific Computing, Western University, 2020​
• MSc, Applied Mathematics, Western University, 2016​

Research and teaching interests

Research: Hybrid symbolic-numeric computation, scientific computing, computer algebra

Teaching: Theoretical computer science, scientific computing including numerical methods in finance and business, numerical methods in computational mathematics, introductory computer science courses

Leili Rafiee Sevyeri on Google Scholar

Degrees

• Ph.D., University of Saskatchewan
• Dipl.-Inf., Technical University of Darmstadt, Germany

Teaching interests

• First-year core CS curriculum
• User Interfaces
• Human-Computer Interaction

Degrees

• Ph.D., Purdue University, United States (2014)
• B.Sc., Portland State University, United States (2008)

Research and teaching interests

• Research – Gradual typing: Languages which combine typed and untyped code
• Research – Just-in-time compilation: Compilers which compile code while it’s running, allowing for advanced profiling
• Teaching – Languages and systems, in particular CS442 (Programming Languages) and CS241 (Foundations of Sequential Programming)

Publications

Gregor Richards on DBPL

Degrees

• University of Waterloo, PhD (Pure Mathematics), 2013
• University of Waterloo, MMath (Pure Mathematics), 2007
• University of Waterloo, BMath (Teaching Option), 1993
• University of Western Ontario, BEd (Mathematics/Computer Science), 1993

Research and teaching interests

• Formal logic
• Theory of computation

Publications

Buchweitz, Ragnar-Olaf; Roberts, Collin. The multiplicative structure on Hochschild cohomology of a complete intersection. J. Pure Appl. Algebra 219 (2015), no. 3, 402–428.

Lawrence, J.W.; Roberts, Collin. On the k-Conjugacy Classes of Infinite Groups. International Journal of Algebra 3 (2009), 297–308.

• Ph.D., Technion–Israel Institute of Technology, Israel (2006)
• M.S.Ed., Technion–Israel Institute of Technology, Israel (2002)
• B.Sc., Technion–Israel Institute of Technology, Israel (1990)

• Investigating innovative creativity fostering techniques for requirement elicitation
• Identifying valuable tools for teaching, learning and assessment
• Testing and validation of educational techniques to enhance the transfer between the academic learning environment and the students’ professional practice
• Some of the possible techniques worth investigating are project-based learning, one-on-one mentoring, industrial practicum that is designed to give students supervised practical application of concurrently studied theories and concepts, and simulations to demonstrate newly learned concepts

Victoria Sakhnini Publications

• Ph.D., University of British Columbia (2010)
• M.A.Sc., University of British Columbia (2000)
• B.E.Sc., University of Western Ontairo (1996)
• B.Sc., University of Western Ontario (1994)

• Teaching focus on the core CS curriculum

Dave Tompkins Publications

Degrees

• Ph.D., Waterloo, 2008
• B.Ed, UBC, 1997
• M.Math, Waterloo, 1996
• B.Math, Waterloo, 1995

Research and teaching interests

• Typically first- and second-year computer science major courses, especially CS135 (Designing Functional Programs), CS115 (Introduction to Computer Science I), and CS241 (Foundations of Sequential Programs)
• Computing contests/challenges, especially computational thinking tasks, data structures, and algorithms
• Algorithmic number theory

Publications

• Ph.D., University of North Carolina at Charlotte, United States (2018)
• M.Sc., Columbus State University, United States (2013)
• B.Ed., Brock University (1999)
• B.A., York University (1989)

• Usable and assessable security
• Computer science/security education

Stacey Watson on Google Scholar