Yousra Aafer

Yousra Aafer joined the David R. Cheriton School of Computer Science on January 1, 2020 as an Assistant Professor.
Yousra was a postdoctoral researcher in the Department of Computer Science at Purdue University under the supervision of Professor Xiangyu Zhang before her appointment at the Cheriton School of Computer Science. Her research interests span the areas of systems security and software engineering, specifically focusing on mobile and smart device security.
She received her PhD in Electrical and Computer Engineering from Syracuse University and was advised by Professor Wenliang Du. Her previous research mainly tackled Android security.
Omid Abari

Ali Abedi

- B.Sc., Sharif University of Technology, Iran
- M.Sc., University of Calgary (2010)
- Ph.D., University of Waterloo (2017)
- Characterizing and preventing leakage of sensitive information form wireless devices
- Low-power and battery-free wireless networking for the Internet of Things (IoT) applications
Khalil Abuosba
Mahdieh Ahmadi
Paulo Alencar

Mahmoud Alfadel
Samer Al-Kiswany

- Ph.D., University of British Columbia (2013)
- M.Sc., University of British Columbia (2008)
- B.Sc., Jordan University of Science and Technology, Jordan (2003)
- Leverage advances in networking, processing, and storage devices to improve systems performance and efficiency
- Optimize the modern data center stack using domain specific optimizations
- Build a software stack to facilitate building efficient cloud applications using new cloud paradigms (e.g., serverless, cloud-native, and disaggregated architectures)
Daniel Allen

Ehsan Amjadian

Karen Anderson

N. Asokan

- Ph.D., University of Waterloo, Canada (1998)
- M.Sc., Syracuse University, United States of America (1989)
- B.Tech., Indian Institute of Technology, India (1988)
- Systems security broadly, including topics like the development and use of novel platform security features, applying cryptographic techniques to design secure protocols for distributed systems, applying machine learning techniques to security/privacy problems, and understanding/addressing the security and privacy of machine learning applications themselves
Sepehr Assadi

- Ph.D., Computer and Information Science, University of Pennsylvania (2018)
- B.Sc., Computer Engineering, Sharif University of Technology (2013)
- Theoretical foundations of big data analysis, in particular sublinear algorithms and lower bounds in various models of computation for processing massive datasets such as streaming, distributed communication, massively parallel computation, and sublinear time algorithms
- Algorithmic graph theory, communication complexity, online algorithms, and algorithmic game theory
Joanne Atlee

- Ph.D., University of Maryland, United States (1992)
- M.Sc., University of Maryland, United States (1988)
- B.Sc., College of William and Mary, United States (1985)
- Analysis of large distributed software systems and visualization of analysis results
- Semantics of composition of software features, and detection and resolution of feature interactions
Jeff Avery

- B.A., McMaster University (1990)
- M.A., McMaster University (1991)
- B.A.Sc., McMaster University (2012)
- Ph.D., University of Waterloo (2019)
- 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
Mahmoud Bahnasy
Gladimir Baranoski

Diogo Barradas

Degrees
- B.Sc., Instituto Superior Técnico, Universidade de Lisboa, Portugal (2014)
- M.Sc., Instituto Superior Técnico, Universidade de Lisboa, Portugal (2016)
- Ph.D., Instituto Superior Técnico, Universidade de Lisboa, Portugal (2021)
Research interests
- Network traffic analysis and obfuscation, with applications to Internet censorship circumvention and anonymous communication
- Security of programmable network infrastructures, with applications to network threat detection, mitigation, and recovery
- Digital forensics and information hiding
Publications
Madeleine Bartlett
Christopher Batty

- B.C.Sc., University of Manitoba (2004)
- Ph.D., University of British Columbia (2010)
- Computer graphics and scientific computing
- Physics-based numerical simulation of fluid and solid phenomena, for applications in computer animation, visual effects, game development, and interactive virtual environments
Byron Weber Becker

- B.A., Goshen College, United States (1983)
- M.Math., University of Waterloo (1990)
- 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.
Kimberley Beckman
Phil Beldowski

Shai Ben-David

Shalev Ben-David

Jamal Bentahar
Daniel Berry

- B.Sc., Brown University, United States (1969)
- Ph.D., Rensselaer Polytechnic Institute, United States (1974)
- Requirements engineering (RE) in the specific, software engineering (SE) in general
- Within RE, issues, including human behavior, that affect the adoption of and the effectiveness of RE in the software development lifecycle
- In general, why RE and SE are not working the way they’re supposed to
Monique Bevan (on leave)
Therese Biedl

- Ph.D., Rutgers, The State University of New Jersey, United States (1997)
- Dipl.-Math., Technical University of Berlin, Germany (1996)
- Graph Drawing: How to map a graph to geometric objects (such as points in the planes for vertices and line segments for edges), under some objective function?
- Algorithms for near-planar graphs: If we know that a graph has special properties, how can we exploit this to make algorithms faster?
Eric Blais

- B.Math., University of Waterloo
- M.Sc., McGill University
- Ph.D., Carnegie Mellon University, United States
- Randomized and sublinear-time algorithms
- Complexity theory
Angela Bonifati
Christopher Border
Raouf Boutaba

Degrees
- B.Sc., Badji Mokhtar Annaba University, Algeria (1988)
- M.Sc., Université de Pierre et Marie Curie (now Sorbonne Université), France (1990)
- Ph.D., Université de Pierre et Marie Curie (now Sorbonne Université), France (1994)
Research interests
- Management of resources, systems and services in wired and wireless networks
- Current applications include network virtualization, software-defined networking, network function virtualization, cloud and edge computing, 5G and beyond mobile communications networks, blockchains, and cybersecurity
Publications
Yuri Boykov

Tim Brecht

- B.Sc., University of Saskatchewan (1983)
- M.Math., University of Waterloo (1985)
- Ph.D., University of Toronto (1994)
- Performance Evaluation, Computer Systems and Networking
- Wireless Networking, The Internet of Things
- Sports Analytics
Anthony Brennan
Michael Leslie Brooks
Dan Brown

Degrees
- B.Sc., Massachusetts Institute of Technology, United States (1995)
- M.Sc., Cornell University, United States (1999)
- Ph.D., Cornell University, United States (2000)
Research interests
- Computational creativity: using computers to create artifacts that if humans created them, we would call them creative
- Music Information retrieval: using techniques from computer science to understand the information found in music (recordings, scores, lyrics)
- Bioinformatics: designing algorithms to compare, analyze, and find information in biological sequences
Publications
Trevor Brown

- B.Sc., York University (2010)
- M.Sc., University of Toronto (2012)
- Ph.D., University of Toronto (2017)
- Parallel, concurrent and distributed data structures, especially lock-free ones
- Algorithms for recent technologies like non-volatile memory, transactional memory, remote direct memory access (RDMA)
- High performance memory allocators and safe reclamation for concurrent software
- Designing novel CPU instructions for thread synchronization, memory management, cache communication, etc.
Carmen Bruni
- B.Math., University of Waterloo (2009)
- M.Math., University of Waterloo (2010)
- Ph.D., University of British Columbia (2015)
- Introductory Imperative Programming (Python, C)
- Computational Logic
- Algorithms and Algorithmic Design
Peter Buhr

- B.Sc., University of Manitoba (1976)
- M.Sc., University of Manitoba (1978)
- Ph.D., University of Manitoba (1985)
- Programming languages, specializing in concurrency, polymorphism, and persistence
- Visualization and debugging of concurrent programs
- Persistent storage-management using memory mapping
- Concurrent storage-allocation
Forbes Burkowski

Jonathan Buss

Lori Case

- B.Sc., Memorial University of Newfoundland (1987)
- M.Math., University of Waterloo (1989)
- Ph.D., University of Waterloo (1997)
- 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.
Géry Casiez
Tom Cauduro
Edward Chan

Helen Chen

Wenhu Chen

- B.Sc., Huazhong University of Science and Technology, China (2014)
- M.Sc., RWTH Aachen University, Germany (2017)
- Ph.D., University of California, Santa Barbara, United States (2021)
- Natural Language Processing
- Deep Learning
Edward Chrzanowski

Charles Clarke

Richard Cleve

Robin Cohen

Robert Corless

Gordon Cormack

- B.Sc., University of Manitoba (1977)
- M.Sc., University of Manitoba (1978)
- Ph.D., University of Manitoba (1981)
- High Recall Information Retrieval
- Legal and medical applications of Information Retrieval
Donald Cowan

- B.A.Sc., University of Toronto (1960)
- M.Sc., University of Waterloo (1961)
- Ph.D., University of Waterloo (1965)
- D.Sc. (honoris causa), University of Guelph (2011)
- Software engineering methods for constructing and verifying advanced software systems and applications
- Development of advanced software systems and applications incorporating novel database systems and artificial intelligence components
William Cowan

Mark Crowley
Krzysztof Czarnecki

Barbara Daly

Rathish Das
Khuzaima Daudjee
- I am interested in systems-oriented research. I work at the intersection of distributed systems and data management, particularly on building large-scale systems, storage and infrastructure in the cloud and on modern hardware.
Kerstin Dautenhahn

Sylvie Davies

Nancy Day

- B.Sc., University of Western Ontario (1991)
- M.Sc., University of British Columbia (1993)
- Ph.D., University of British Columbia (1998)
- Software engineering
- Formal methods
- Software requirements and modelling
Adalyn De Grosbois

Vic DiCiccio

Werner Dietl

Tracy Dietrich

Chrysanne DiMarco

Andrew Doxey

Nicole Sandra-Yaffa Dumont
Murray Dunne
Dalibor Dvorski

Chris Eliasmith
Sebastian Fischmeister

Nathan Fish
Peter Forsyth

- B.Sc., University of Western Ontario (1975)
- M.Sc., Australian National University, Australia (1977)
- Ph.D., University of Western Ontario (1979)
- Computational finance
- Machine learning methods for optimal stochastic control in finance
Kimon Fountoulakis

- B.Sc., Athens University of Economics and Business, Greece (2009)
- M.Sc., The University of Edinburgh, United Kingdom (2010)
- Ph.D., The University of Edinburgh, United Kingdom (2015)
- Machine Learning on Graphs
- Numerical Optimization
Lewis Fraser
Vijay Ganesh

David Gawley

Keith Geddes
Alan George

Ali Ghodsi
Mark Giesbrecht

Degrees
- B.Sc., University of British Columbia (1986)
- M.Sc., University of Toronto (1988)
- Ph.D., University of Toronto (1993)
Research interests
- Computational algebra and symbolic computation
- Symbolic-numeric and numerical computation
- Algebraic complexity
Publications
Michael Godfrey

- B.Sc., University of Toronto (1986)
- M.Sc., University of Toronto (1988)
- Ph.D., University of Toronto (1997)
- Software engineering, software evolution, empirical studies, code review, open-source software systems
- Software development analytics, mining software repositories, software artifact provenance
- Code duplication analysis, program comprehension, software architecture, software fact extraction and modelling
Harold Godwin
Anil Goel
Lukasz Golab
Wojciech Golab
Ian Goldberg

- B.Math., University of Waterloo (1995)
- M.Sc., University of California, Berkeley, United States (1998)
- Ph.D., University of California, Berkeley, United States (2000)
- Privacy enhancing technologies, including metadata-protecting communication, privacy preserving computation, and censorship resistance
- Computer security and privacy, including trusted execution environments and oblivious algorithms
- Cryptography, including security multiparty computation, threshold cryptography, and zero-knowledge proofs
Morteza Golkarifard
Sergey Gorbunov

Daniel Grier
Maura R. Grossman

- A.B., Brown University, United States (1980)
- M.A., Adelphi University, United States (1982)
- Ph.D., Adelphi University, United States (1984)
- J.D., Georgetown University Law Center (1999)
- High-Recall Information Retrieval, in which the goal is to find substantially all information relevant to an information need with the least possible effort, where the stakes of missing relevant information are high
- Key application areas include electronic discovery in law, curation of government archives, and systematic review in evidence-based medicine
- Responsible AI and Data Science, which includes, but is not limited to, legal, ethical, and policy considerations
Fraser Gunn

Arie Gurfinkel
Toshiya Hachisuka

- B.Eng., University of Tokyo, Japan (2006)
- Ph.D., University of California San Diego, United States (2011)
- Combines applied mathematics, computer science, and physics to tackle problems related to visual simulation of objects
- Topics include computer graphics, light transport simulation, computational statistics, and numerical analysis (numerical solvers for differential/integral equations)
Rob Hackman
Mohammad Hajiabadi

Stuart Hallifax
Mark Hancock
Jo-Ann Hardy

Jacob Witmer
Xi He

- B.Sc., National University of Singapore, Singapore (2012)
- M.Sc., Duke University, United States (2015)
- Ph.D., Duke University, United States (2018)
- Privacy and security for big-data
- The development of usable and trustworthy tools for data exploration and machine learning with provable security and privacy guarantees
Alireza Heidarikhazaei
Urs Hengartner

- Diploma, ETH Zürich, Switzerland (1997)
- M.Sc., Carnegie Mellon University (2003)
- Ph.D., Carnegie Mellon University (2005)
- Information privacy and computer and networks security with a focus on security and privacy challenges that arise in the context of smartphones, mobile applications, and IoT
- User authentication with a focus on using machine learning for securing or attacking devices and services
- Implicit user authentication, where a device or service continuously authenticates the user based on their behaviour and context
Dan Hergott

Jesse Hoey

- B.Sc., McGill University (1992)
- M.Sc., University of British Columbia (1995)
- Ph.D., University of British Columbia (2004)
- Assistive Technologies and Rehabilitation Science
- Emotional Artificial Intelligence and Affective Computing
- Decision-making under uncertainty
Dan Holtby
Krista Hrin
Chengcheng Hu
Peng Hu
Ihab F. Ilyas

Lesley Istead
Armin Jamshidpey
David Jao
Marie Kahkejian (on secondment)

Responsibilities:
- Oversee administration of master’s research program
- Event planning including graduate orientation
- Manage TA assignments and TA and RA payroll
- Assist with NSERC/OGS/QE2 competitions
- Assist with CS graduate web pages
Zille Huma Kamal
Gautam Kamath

- B.Sc., Cornell University, United States (2012)
- S.M., Massachusetts Institute of Technology, United States (2014)
- Ph.D., Massachusetts Institute of Technology, United States (2018)
- Differential privacy, robustness
- Machine learning and statistics
- Algorithms
Craig S. Kaplan

- B.Math., University of Waterloo (1996)
- M.Sc., University of Washington, United States (1998)
- Ph.D., University of Washington, United States (2002)
- Applications of mathematics and computation in art and design
- Computer graphics
- Computational geometry
Lila Kari

- M.Sc., University of Bucharest, Romania (1987)
- Ph.D., University of Turku, Finland (1991)
- Biodiversity informatics, Comparative genomics, Genomic signatures, Machine learning
- Natural computation, Bio-inspired computing, Bio-molecular computing
- Watson-Crick complementarity in formal languages, DNA computing & combinatorics on words
Martin Karsten

Degrees
- Diplom, University of Mannheim, Germany (1996)
- Dr.-Ing., Technical University of Darmstadt, Germany (2000)
Research interests
- Computer Systems Software
- Networking
- Performance
Publications
Keiko Katsuragawa

Florian Kerschbaum

- B.A., Mannheim Cooperative State University, Germany (1997)
- M.Sc., Purdue University, United States (2000)
- Dr.-Ing., Karlsruhe Institute of Technology, Germany (2010)
- Data security and privacy, confidentiality and integrity in data science, data collection, preparation and management
- Applied cryptography, secure multi-party computation, homomorphic and functional encryption, differential privacy
- Machine learning robustness, privacy, and provenance verification
Srinivasan Keshav

Srinivasan Keshav is the Robert Sansom Professor of Computer Science in the Department of Computer Science and Technology at the University of Cambridge and a Fellow of Fitzwilliam College. Previously, he was a Professor at the David R. Cheriton School of Computer Science.
Although he started out as a researcher in computer networking in 1988, since 2010 his focus has been on reducing the carbon footprint of energy generation, transportation, and buildings. For the past couple of years, he also worked on improving the performance of the Hyperledger Fabric blockchain so that it can be used as the foundation for highly-scalable energy systems, such as for transactive energy and renewable energy certificates.
He has recently turned his attention to the carbon sequestration and biodiversity potential of forests, looking at both conservation and restoration.
Wasif Khan
Caroline Kierstead

Scott King

Jochen Koenemann

Eitan Kondratovsky
Alexandra Kraushaar
George Labahn

- B.Sc., University of Alberta (1973)
- M.Sc., University of Alberta (1986)
- Ph.D., University of Alberta (1988)
- Symbolic Computation/Computer Algebra
- Scientific Computation/Computational Finance
Patrick Lam

Kevin Lanctot
Kate Larson

- B.Sc., Memorial University of Newfoundland (1997)
- M.Sc., Washington University in St. Louis, United States (1999)
- Ph.D., Carnegie Mellon University, United States (2004)
- Artificial Intelligence with a focus on multiagent systems and reinforcement learning
- Cooperation and coordination in multiagent systems
- Applications of artificial intelligence to support sustainable development and climate-related initiatives
Paul Larson
Lap Chi Lau

- B.Sc., The Chinese University of Hong Kong, China
- M.Sc., University of Toronto
- Ph.D., University of Toronto
- Algorithms
- Optimization
- Spectral Graph Theory
Anita T. Layton

Edith Law

Edward Lee
Yi Cheng (Nick) Lee

Jessica Leung
Ondřej Lhoták

- B.Math., University of Waterloo (2001)
- M.Sc., McGill University (2002)
- Ph.D., McGill University (2005)
- My research interests are in programming languages and compilers. My focus is on program analysis of object-oriented languages. I am currently directing most of my attention to Scala.
Lilin Li

Ming Li

- M.Sc., Wayne State University, United States (1980)
- M.Sc., Cornell University, United States (1983)
- Ph.D., Cornell University, United States (1985)
- Recently I am working on methods for personalized cancer immunotherapy. A key issue for personalized cancer immunotherapy is to discover neoantigens on the surface of cancer cells. We are developing automatic, highly sensitive and personalized methods to sequence those peptides and validate their immunogenicity.
Xiao-Bo Li
Yuying Li

- B.Sc., Sichuan University, China (1982)
- M.Math., University of Waterloo (1985)
- Ph.D., University of Waterloo (1988)
- Professor Yuying Li's research interests include the design, analysis, and application of computational algorithms for continuous optimization problems.
- In addition, Li is particularly interested in applying computational optimization methods to practical problems, focusing especially on application to data science and computational finance.
Todd Lichty
Noura Limam

Jimmy Lin
Guiliang Liu
Lisa Liu
Sihang Liu

Degrees
- B.S., Shanghai Jiao Tong University (2016)
- B.S., University of Michigan (2016)
- M.S., University of Virginia (2020)
- Ph.D., University of Virginia (2022)
Research interests
- Computer architecture, especially the design of the next-generation processor, memory, and storage for datacenter-scale applications
- Programming and system support for new and emerging architectures
- Security in computer hardware systems
Publications
Cathy Logan-Dickie

Gang Lu

Yang Lu

Degrees
- Ph.D., Computational Biology and Bioinformatics, University of Southern California, United States (2017)
- M.S., Computer Science and Engineering, Shanghai Jiao Tong University, China (2013)
- B.S., Computer and Software Engineering, Shanghai Jiao Tong University, China (2010)
Research interests
- Developing machine learning and statistical methods for genomics and proteomics data analysis using interpretable machine learning, reproducible (error-controlled) machine learning, and heterogeneous data integration
- Developing interpretation methods to find scientifically interesting and statistically confident hypotheses from complex biological data from single-cell genomics, mass spectrometry-based proteomics, and metagenomics
Publications
Anna Lubiw

- B.Sc., University of Toronto (1979)
- M.Math., University of Waterloo (1982)
- Ph.D., University of Toronto (1986)
- Algorithms, specifically computation geometry, graph algorithms and graph drawing
- Current topics include reconfiguration, triangulations of planar point sets, shortest path algorithms, and folding and unfolding problems
Brad Lushman

Jayson Lynch
Bin Ma

- B.Sc., Peking University, China
- Ph.D., Peking University, China
- I conduct research in bioinformatics. I develop new experimental methods and computer algorithms for the determination of the amino acid sequences of proteins (de novo protein sequencing) by using mass spectrometry.
Maran Ma
Sujaya Maiyya

Degrees
- BE, Information Science, PESIT, Bangalore (2014)
- MSc, Computer Science, University of California, Santa Barbara (2017)
- PhD, Computer Science, University of California, Santa Barbara (2022)
Research interests
- Distributed data management, fault tolerance, data privacy & security
- Designing, prototyping, and evaluating data management protocols that strike a balance between efficiency and security in both trusted and untrusted environments
Publications
Sylvain Malacria
Andrew Malton
Richard Mann
- B.Eng., McMaster University (1988)
- M.Eng., McMaster University (1990)
- Ph.D., University of Toronto (1998)
- AI, perception and learning, computer vision (motion understanding, event recognition) and computer audio (acoustics, speech, music)
- Signal processing, electro acoustic measurement and infra sound
Stephen Mann

- B.A., University of California, Berkeley, United States (1986)
- M.Sc., University of Washington, United States (1988)
- Ph.D., University of Washington, United States (1992)
-
Curve and Surface Design for Geometric Modeling and Computer Graphics
-
CNC Machining
-
Geometric Algebra and its applications to Computer Graphics
Ali José Mashtizadeh

Shahmir Masood
Hillary Matt
Ryan McGuinness

Morgan McGuire
Shane McIntosh

Shane McIntosh joined the Cheriton School of Computer Science as an Associate Professor in July 2020.
His research area is in empirical software engineering. More specifically, he has focused his research on release engineering. He has made significant research contributions in intelligent release pipelines, code review analysis, and mining software repositories. As of October 2019, Professor McIntosh has published 16 journal papers and 32 conference papers, all in the top research venues and leading journals of the field. As of August 2021, his papers have been cited more than 3,800 times with an h-index from Google Scholar of 32. He has been invited to many international workshops, such as Shonan and Dagstuhl.
Professor McIntosh has also contributed to the software engineering community as a program committee member in several top conferences, such as ICSE, FSE, and OOPSLA. He has been the co-chair of multiple workshops on release engineering and the co-chair of several tracks in top tier conferences. He was awarded a Canada Research Chair (Tier II) at McGill, and he was a Vanier Canada Graduate Scholarship holder. He was one of two Ph.D. graduates from the Queen’s University class of 2015 to be recognized with the Academic Gold Medal from Governor General of Canada for his Ph.D. work.
Ian McKillop

Greg McTavish

Alfred Menezes
Angie Mercer (on secondment)
Devon Merner
Nathalia Moraes do Nascimento
Cameron Morland
- B.A.Sc., University of Waterloo (2003)
- Ph.D., Boston University, United States (2009)
Michele Mosca
Isaac Morland

Amer Mouawad
Ian Munro

Lennart Nacke

Nomair Naeem

Omar Nafees

Meiyappan (Mei) Nagappan

- B.Sc., Anna University, India (2006)
- M.Sc., North Carolina State University, United States (2008)
- Ph.D., North Carolina State University, United States (2011)
- Empirical Software Engineering, Mining Software Repositories, Mining Mobile App stores
- Diversity in Software Engineering
- Software Security, Static Analysis
Navid Nasr Esfahani
Ashwin Nayak

Yakov Nekrich

Ali Neshati
Stephen Nickerson

Muhammad Kamran Nishat
Naomi Nishimura

- B.Sc., Yale University, United States (1983)
- M.Sc., University of Toronto (1988)
- Ph.D., University of Toronto (1991)
- Reconfiguration, including both algorithmic and structural investigations of the relationships among solutions to a problem or other entities, as related by step-by-step modifications
- Parameterized complexity, primarily algorithms, and among algorithms, primarily those involving graphs; considered on its own or in conjunction with reconfiguration
Costin Ograda-Bratu
Rafael Oliveira

- B.Sc., Massachusetts Institute of Technology, United States (2011)
- B.Eng., Massachusetts Institute of Technology, United States (2011)
- M.Sc., Massachusetts Institute of Technology, United States (2012)
- Ph.D., Princeton University, United States (2017)
- Complexity Theory
- Optimization
- Geometry
Toacy Oliveira
Jeff Orchard

- B.Math., University of Waterloo (1994)
- M.Sc., University of British Columbia (1996)
- Ph.D., Simon Fraser University (2003)
- Neural networks and artificial intelligence
- Neuroscience, and the use of neural networks to understand the computational principles of the brain
- Biologically-inspired neural learning algorithms
Simón Oya Diez
Tamer Özsu

- B.Sc., Middle East Technical University, Turkey (1974)
- M.Sc., Middle East Technical University, Turkey (1978)
- M.Sc., Ohio State University, United States (1981)
- Ph.D., Ohio State University, United States (1983)
-
My research is on data management. Although I have done work in basic database technologies such as query processing, transaction processing, and database integration, the main focus of my research follows two threads: (1) application of database technology to non-traditional data types, and (2) distributed & parallel data management.
Lori Paniak

Richard Peng
Degrees
- B.Math., University of Waterloo (2009)
- Ph.D., Carnegie Mellon University (2013)
Research interests
- Data structures
- Numerical analysis
- Combinatorial optimization
Publications
Mark Petrick

Joe Petrik

Pascal Poupart

- B.Sc., McGill University (1998)
- M.Sc., University of British Columbia (2000)
- Ph.D., University of Toronto (2004)
- Machine Learning, including Reinforcement Learning, Federated Learning, Continual Learning, Self-Supervised Learning, Meta Learning, Few Shot Learning, Causal Learning, Uncertainty Quantification and Calibration
- Applications of Machine Learning in Natural Language Processing (Conversational Agents, Grammar Error Correction, Automated Text Editing) and Material Design (Bayesian Optimization of catalysts, oxygen carriers and other materials to facilitate desirable chemical reactions for CO2 conversion and CO2 capture)
Fenglian Qiu

Prabhakar Ragde

- B.Math., University of Waterloo (1982)
- Ph.D., University of California, Berkeley, United States (1986)
- Functional programming languages and operational semantics
- Dependent types and their use in proof assistants for verified computations
Shaz Rahaman (on leave)

Sirisha Rambhatla
Adrian Reetz
Habib-ur Rehman
Gregor Richards

- B.Sc., Portland State University, United States (2008)
- Ph.D., Purdue University, United States (2014)
- 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)
Collin Roberts
Harsh Roghelia
Patrick Roh

Jessica Rosa-Vecchiarelli

Paula Roser

Responsibilities:
- Oversee administration of PhD program
- Event planning including graduate orientation
- Manage TA assignments and TA & RA payroll
- Assist with NSERC/OGS/QE2 competitions
- Assist with CS graduate web pages
Steven Ruuth
Mohab Safey El Din
Victoria Sakhnini

- B.Sc., Technion–Israel Institute of Technology, Israel (1990)
- M.S.Ed., Technion–Israel Institute of Technology, Israel (2002)
- Ph.D., Technion–Israel Institute of Technology, Israel (2006)
- 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
Mohammad Salahuddin
- B.Sc., University of Karachi (FAST-ICS), Pakistan (1999)
- M.Sc., Shaheed Zulfiqar Ali Bhutto Institute of Science and Technology, Pakistan (2001)
- M.Sc., Western Michigan University, United States (2003)
- Ph.D., Western Michigan University, United States (2014)
- Machine/Deep learning for networking, including network security, encrypted traffic classification, and resource management in emerging networks
- Cognitive management in wired and wireless networks
- Network softwarization, including network virtualization, software-defined networking, and network function virtualization
Aladdin Saleh
Ken Salem

- B.Sc., Carnegie-Mellon University, United States (1983)
- Ph.D., Princeton University, United States (1989)
- Data systems, especially synchronization, transactions, fault tolerance
- Distributed systems and cloud computing
Semih Salihoğlu

- B.Sc., Yale University (2006)
- Ph.D., Stanford University (2015)
- Database Management Systems
- Graph Data Management Systems
- Distributed Data Processing Systems
Oliver Schneider
Éric Schost

Stacey Scott

Leili Rafiee Sevyeri

Jeffrey Shallit

- B.A., Princeton University, United States (1979)
- Ph.D., University of California, Berkeley, United States (1983)
- Automata theory and formal languages, combinatorics on words
- Number theory, combinatorics, algebra with a computational flavor
Silvana Shamuon
Denise Shantz
Responsibilities:
- Supervise the Computer Science grad office
- Oversee administration of master’s coursework and Data Science programs
- Manage graduate course enrolment and permission numbers
- Manage scholarships both internal and external (NSERC and OGS)
- Oversee CS graduate web pages
Heather Shaw (on leave)

Zahra Sheikhbahaee
Guoxiang Shen

Mark Smucker

Vikrant Singhal
Douglas Stebila
Doug Stinson

- B.Math., University of Waterloo (1978)
- M.Sc., Ohio State University, United States (1980)
- Ph.D., University of Waterloo (1981)
- Cryptography and security: unconditionally secure cryptographic protocols, including secret sharing and authentication
- Combinatorics: construction and analysis of combinatorial designs, error correcting codes, orthogonal arrays
- Algorithms: algorithms to construct and analyze combinatorial structures
Arne Storjohann

- B.Math., University of Waterloo (1992)
- M.Math., University of Waterloo (1994)
- Ph.D., Swiss Federal Institute of Technology, ETH-Zurich, Switzerland (2000)
- The design and analysis of algorithms for symbolic and exact linear algebra
- Computing matrix canonical forms
- Algorithms for sparse and black-box matrices
Chengnian Sun

- Ph.D., National University of Singapore, Singapore (2013)
- Software engineering with a focus on software reliability, software security, and developers’ productivity
- Programming languages
Chaitanya Swamy

Mina Tahmasbi Arashloo

Degrees
- B.Sc., Computer Engineering, Sharif University of Technology, Iran (2014)
- M.A and Ph.D., Computer Science, Princeton University, United States (2019)
Research interests
- Networked systems, with a focus on software defined networking (SDN) and programmable data planes
- Recent focus on how to exploit programmability to create networks that are verifiably robust across the stack, from the protocols themselves down to the switch and network interface card (NIC) hardware that processes packets
Publications
David Taylor

Degrees
- Ph.D., University of Waterloo (1977)
- M.Math., University of Waterloo (1974)
- B.Sc., University of Saskatchewan (1972)
Research interests
- Distributed computer systems, focusing on the debugging and monitoring of distributed applications by viewing their execution histories as being fundamentally a partially ordered set of events
- Software fault tolerance, especially robust implementations of data structures
Publications
Marcia Taylor
Ulisses Telemaco Neto
Rafael Ferreira Toledo
David Toman

Frank Tompa

- B.Sc., Brown University, United States (1970)
- M.Sc., Brown University, United States (1970)
- Ph.D., University of Toronto (1974)
- LL.D., Dalhousie University (2013)
- Database dependency theory, storage structure selection, query processing, materialized view maintenance, database integration, data retention, and access control
- Text management systems, text matching, XML processing, information retrieval, structured text conversion, and text classification
- Mathematics (text and formula) information retrieval
Dave Tompkins

- B.Sc., University of Western Ontario (1994)
- B.E.Sc., University of Western Ontairo (1996)
- M.A.Sc., University of British Columbia (2000)
- Ph.D., University of British Columbia (2010)
- Teaching focus on the core CS curriculum
Massimo Tornatore

Hieu Tran
Richard Trefler

Kim Tremblay

Clayton Tucker

Arif Usta
Adithya Vadapalli
Peter van Beek

- B.Sc., University of British Columbia (1984)
- M.Math., University of Waterloo (1986)
- Ph.D., University of Waterloo (1990)
- Artificial intelligence with a focus on representation and reasoning, constraint programming, constraint satisfaction, backtracking algorithms, planning, scheduling, combinatorial optimization, applied machine learning, probabilistic reasoning, and applications of artificial intelligence
- A recent additional interest is algorithms and techniques in computational photography
Spencer Van Leeuwen
Pieter Van Staden
Troy Vasiga

Olga Vechtomova
Olga Veksler

- B.A., New York University, United States (1995)
- M.Sc., Cornell University, United States (1999)
- Ph.D., Cornell University, United States (1999)
- Computer vision, machine learning, deep learning, discrete optimization, graph algorithms
- Image segmentation, semantic segmentation, salient object detection
Daniel Vogel

- B.A., Western University (1993)
- B.FA., Emily Carr University of Art + Design (1996)
- M.Sc., University of Toronto (2005)
- Ph.D., University of Toronto (2010)
- Human-computer interaction, interaction techniques, virtual and augmented reality
- Fundamental characteristics of human input focusing on topics, such as pointing, learning, and manipulation
- Novel forms of interaction for current and future computing form factors, such as tangibles, mid-air gestures, and whole-body input, for everything from on-body wearable devices and mobile phones, to large displays and mixed reality
Tammy Vucicevich
James R. Wallace

Justin Wan

- B.Sc., Chinese University of Hong Kong, China (1992)
- M.A., University of California, Los Angeles (1995)
- Ph.D., University of California, Los Angeles (1998)
- Advanced techniques in scientific computing and computer graphics simulation of physical phenomena
- Medical image processing: CT scan image enhancement, tracking of cell images, image restoration, segmentation, registration
- Machine learning and neural network model for computational finance such as option pricing and hedging
John Watrous

Stacey Watson

- B.A., York University (1989)
- B.Ed., Brock University (1999)
- M.Sc., Columbus State University, United States (2013)
- Ph.D., University of North Carolina at Charlotte, United States (2018)
- Usable and assessable security
- Computer science/security education
Stephen Watt

Grant Weddell

Tony Wirjanto
Alexander Wong

Bernard Wong

Johnny Wong

Meng Xu

- B.Bus., Nanyang Technological University, Singapore (2014)
- B.Eng., Nanyang Technological University, Singapore (2014)
- Ph.D., Georgia Institute of Technology, United States (2020)
- System and software security
- Program analysis, testing and verification
Yaoliang Yu

- B.Sc., Fudan University, China (2005)
- M.Sc., Fudan University, China (2008)
- Ph.D., University of Alberta (2013)
- Machine Learning, including generative modelling, representation learning, robustness, and kernel methods, as well as application to computer vision and natural language processing
- Optimization Algorithms, including convex and non convex optimization, distributed and federated learning, iteration complexity bounds, robust and stochastic optimization
Hong Zhang

Degrees
- BS and MS, Electronics and Communications Engineering, Huazhong University of Science and Technology, China (2013)
- Ph.D., Department of Computer Science and Engineering, Hong Kong University of Science and Technology (2019)
Research interests
- Large-scale data analytics
- Distributed ML training and serving systems
- Application and network scheduling
- Data center networking
- Serverless computing and cloud computing
Publications
Hongyang Zhang

- M.Sc., Peking University, China (2015)
- M.Sc., Carnegie Mellon University, United States (2018)
- Ph.D., Carnegie Mellon University, United States (2019)
- Machine Learning
- AI Security and Privacy
- Trustworthy Machine Learning
Yizhou Zhang

Yizhou Zhang joined the David R. Cheriton School of Computer Science as an Assistant Professor in October 2020. He completed his doctorate in Computer Science at Cornell University in August 2019.
Yizhou designs, implements, and studies programming languages. He aims for high-level language abstractions that can provide the expressiveness and assurance required to build extensible, reliable software.
Yizhou also has an M.S. in Computer Science from Cornell and a B.S. in Software Engineering from Shanghai Jiao Tong University in China.
Jian Zhao

- Ph.D., University of Toronto (2016)
- Dr. Zhao’s research focuses on the areas of Information Visualization (InfoVis), Human-Computer Interaction (HCI), and Data Science. He develops advanced interaction and visualization techniques that promote the interplay between humans, machines, and data.
- His research aims to boost the efficiency of real-world data analysis, exploration, and presentation activities that involve a large amount of data, various complicated models, and a diverse group of analysts.
Lihong Zhi
Eugene Zima
Nadine Kolette Zinger
Olga Zorin
