Our People - Faculty

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.

• 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)

Samer Al-Kiswany Publications

• Ph.D., University of Waterloo, Canada (1998)
• M.Sc., Syracuse University, United States of America (1989)
• B.Tech., Indian Institute of Technology, Kharagpur, 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

N. Asokan Publications

• 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

Sepehr Assadi on Google Scholar

• 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

Joanne Atlee on Google Scholar

• 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

Degrees

• PhD, University of Calgary
• MSc, Universidade Federal do Rio Grande do Sul, Brazil
• MSc, Indiana
• BSc, Universidade Federal do Rio Grande do Sul, Brazil

Research interests

• Predictive simulation of light interactions with organic and inorganic materials

Although the main target of his work is the realistic modelling of material appearance for image synthesis, his research has also been directed toward investigating related problems in remote sensing and biomedical optics. 

In remote sensing, they are used to monitor the effects of adverse environmental conditions on crops and forests.

In biomedical optics, they are used to develop procedures and equipment for the prevention, screening and treatment of different medical conditions.

Publications

Gladimir V. G. Baranoski on DBPL

• Ph.D., Instituto Superior Técnico, Universidade de Lisboa, Portugal (2021)
• M.Sc., Instituto Superior Técnico, Universidade de Lisboa, Portugal (2016)
• B.Sc., Instituto Superior Técnico, Universidade de Lisboa, Portugal (2014)

• 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

Diogo Barradas on Google Scholar

• Ph.D., University of British Columbia (2010)
• B.C.Sc., University of Manitoba (2004)

• 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

Christopher Batty 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.

Degrees

• PhD, MIT (2017)
• BMath, University of Waterloo (2011)

Research interests

• Computational complexity
• Quantum computing

Publications

Shalev Ben-David on Google Scholar

Feature article

Daniel Berry celebrates half a century as a professor of computer science

Degrees

• Ph.D., Rensselaer Polytechnic Institute, United States (1974)
• B.Sc., Brown University, United States (1969)

Research interests

• 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

Daniel Berry on DBLP

• 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?

Therese Biedl on DBLP

• Ph.D., Carnegie Mellon University, United States
• M.Sc., McGill University
• B.Math., University of Waterloo

• Randomized and sublinear-time algorithms
• Complexity theory

Eric Blais on DBLP

• Ph.D., Université de Pierre et Marie Curie (now Sorbonne Université), France (1994)
• M.Sc., Université de Pierre et Marie Curie (now Sorbonne Université), France (1990)
• B.Sc., Badji Mokhtar Annaba University, Algeria (1988)

• 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

Raouf Boutaba on Google Scholar

Degrees

• Ph.D., Cornell University, USA (1996)
• MS, Cornell University, USA (1994)
• B.Sc., PhysTech, Russia (1992)

Research interests

• Computer vision, image segmentation, stereo, reconstruction, bio-medical image analysis
• Semi-supervised, weakly supervised, self-supervised, and unsupervised learning, regularization
• Optimization

Publications

Yuri Boykov on Google Scholar

• Ph.D., University of Toronto (1994)
• M.Math., University of Waterloo (1985)
• B.Sc., University of Saskatchewan (1983)

• Performance Evaluation, Computer Systems and Networking
• Wireless Networking, The Internet of Things
• Sports Analytics

Tim Brecht Publications

• Ph.D., Cornell University, United States (2000)
• M.Sc., Cornell University, United States (1999)
• B.Sc., Massachusetts Institute of Technology, United States (1995)

• 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

Dan Brown on Google Scholar

• Ph.D., University of Toronto (2017)
• M.Sc., University of Toronto (2012)
• B.Sc., York University (2010)

• 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.

Trevor Brown on DBLP

• 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 Manitoba (1985)
• M.Sc., University of Manitoba (1978)
• B.Sc., University of Manitoba (1976)

• Programming languages, specializing in concurrency, polymorphism, and persistence
• Visualization and debugging of concurrent programs
• Persistent storage-management using memory mapping
• Concurrent storage-allocation

Peter Buhr on DBLP

Degrees

• Ph.D., Massachusetts Institute of Technology, 1986
• B.Sc., California Institute of Technology, 1982

Research interests

• Computational complexity and models of feasible computation

Publications

Jonathan Buss on DBPL
 

• 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.

• Ph.D., University of California, Santa Barbara, United States (2021)
• M.Sc., RWTH Aachen University, Germany (2017)
• B.Sc., Huazhong University of Science and Technology, China (2014)

• Natural Language Processing
• Deep Learning

Wenhu Chen on Google Scholar

Degrees

• PhD, Computer Science, University of Waterloo (1996)
• Master of Mathematics, Computer Science, University of Waterloo (1990)
• Bachelor of Science (Honours), Mathematics/Computer Science, Memorial University of Newfoundland (1986)

Research interests

• Search, information retrieval, question answering, data science, data mining, software tools

Publications

Charles Clarke on Google Scholar

Degrees

• PhD, University of Toronto (1983)
• MSc, University of Toronto (1977)
• BA Hons., Mathematics, McGill University (1975)

Research interests

• Artificial intelligence: multiagent systems (models of trust and reputation, applications to social networks), trusted AI, user modeling, intelligent interaction
• Social implications of computers

Publications

Robin Cohen on DBLP

• Ph.D., University of Manitoba (1981)
• M.Sc., University of Manitoba (1978)
• B.Sc., University of Manitoba (1977)

• High Recall Information Retrieval
• Legal and medical applications of Information Retrieval

Gordon Cormack on Google Scholar

• D.Sc. (honoris causa), University of Guelph (2011)
• Ph.D., University of Waterloo (1965)
• M.Sc., University of Waterloo (1961)
• B.A.Sc., University of Toronto (1960)

• 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

Donald Cowan Publications

• 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.

Selected publications

• Ph.D., University of British Columbia (1998)
• M.Sc., University of British Columbia (1993)
• B.Sc., University of Western Ontario (1991)

• Software engineering
• Formal methods
• Software requirements and modelling

Nancy Day Publications

Publications

Chrysanne DiMarco on DBPL

• Ph.D., University of Western Ontario (1979)
• M.Sc., Australian National University, Australia (1977)
• B.Sc., University of Western Ontario (1975)

• Computational finance
• Machine learning methods for optimal stochastic control in finance

Peter Forsyth on Google Scholar

• Ph.D., The University of Edinburgh, United Kingdom (2015)
• M.Sc., The University of Edinburgh, United Kingdom (2010)
• B.Sc., Athens University of Economics and Business, Greece (2009)

• Machine Learning on Graphs
• Numerical Optimization

Kimon Fountoulakis on Google Scholar

• Ph.D., Stanford University (1971)
• M.Sc., University of Alberta (1966)
• B.Sc., University of Alberta (1964)

• My primary focus is the (numerous and varied) problems associated with solving very large sparse systems of equations
• Some examples include analysis of the complexity of certain algorithms, numerical stability issues, design of efficient data structures, design of software packages with good user interfaces, and automatic identification of exploitable parallelism in sparse matrix computations

• Ph.D., University of Toronto (1993)
• M.Sc., University of Toronto (1988)
• B.Sc., University of British Columbia (1986)

• Computational algebra and symbolic computation
• Symbolic-numeric and numerical computation
• Algebraic complexity

Mark Giesbrecht Publications

• Ph.D., University of Toronto (1997)
• M.Sc., University of Toronto (1988)
• B.Sc., University of Toronto (1986)

• 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

Michael Godfrey on Google Scholar

• Ph.D., University of California, Berkeley, United States (2000)
• M.Sc., University of California, Berkeley, United States (1998)
• B.Math., University of Waterloo (1995)

• 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

Ian Goldberg Publications

Degrees

• Ph.D., Massachusetts Institute of Technology (2015)
• M.Sc., University of Toronto (2012)
• H.B.Sc., University of Toronto (2011)

Research interests

• Cryptography, networks, secure protocols, software and network security, privacy

Publications

Sergey Gorbunov on Google Scholar

• J.D., Georgetown University Law Center (1999)
• Ph.D., Adelphi University, United States (1984)
• M.A., Adelphi University, United States (1982)
• A.B., Brown University, United States (1980)

• 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

Maura R. Grossman on Google Scholar

• Ph.D., University of California San Diego, United States (2011)
• B.Eng., University of Tokyo, Japan (2006)

• 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)

Toshiya Hachisuka Publications

Degrees

• PhD, Computer Science, University of Victoria, 2016
• Master of Science, Computer Science, University of Victoria, 2011
• Bachelor of Science, Computer Science, Sharif University of Technology, 2009

Research interests

• Theoretical cryptography

Publications

Mohammad Hajiabadi on Google Scholar

• Ph.D., Duke University, United States (2018)
• M.Sc., Duke University, United States (2015)
• B.Sc., National University of Singapore, Singapore (2012)

• 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

Xi He on Google Scholar

• Ph.D., Carnegie Mellon University (2005)
• M.Sc., Carnegie Mellon University (2003)
• Diploma, ETH Zürich, Switzerland (1997)

• 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

Urs Hengartner Publications

• Ph.D., University of British Columbia (2004)
• M.Sc., University of British Columbia (1995)
• B.Sc., McGill University (1992)

• Assistive Technologies and Rehabilitation Science
• Emotional Artificial Intelligence and Affective Computing
• Decision-making under uncertainty

Jesse Hoey on Google Scholar

Degrees

• Ph.D., Computer Science and Engineering, HKUST (2019)
• BE, Computer Software, Tsinghua University (2014)

Research interests

• Fundamental problems in database theory and their implications to practical systems
• Massively parallel query processing
• Dynamic query processing
• Oblivious query processing

Publications

Xiao Hu on Google Scholar

Degrees

• Ph.D., Computer Science, University of Waterloo
• M.Sc., Computer Science, University of Regina
• B.Eng., Information Engineering, Beijing University of Posts and Telecommunications

Research and teaching interests

• Research interests focus on computational finance, machine learning in finance and numerical methods
• Teaching interests include numerical methods for financial modeling, information system management, computer systems, operating systems and introductory computer science courses

Irene Huang on Google Scholar

Publications

Ihab Ilyas on Google Scholar

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

• Ph.D., Massachusetts Institute of Technology, United States (2018)
• S.M., Massachusetts Institute of Technology, United States (2014)
• B.Sc., Cornell University, United States (2012)

• Differential privacy, robustness
• Machine learning and statistics
• Algorithms

Gautam Kamath on Google Scholar

• Ph.D., University of Washington, United States (2002)
• M.Sc., University of Washington, United States (1998)
• B.Math., University of Waterloo (1996)

• Applications of mathematics and computation in art and design
• Computer graphics
• Computational geometry

Craig S. Kaplan Publications

• Ph.D., University of Turku, Finland (1991)
• M.Sc., University of Bucharest, Romania (1987)

• 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

Lila Kari on Wikipedia

Lila Kari on Google Scholar

• Dr.-Ing., Technical University of Darmstadt, Germany (2000)
• Diplom, University of Mannheim, Germany (1996)

• Computer Systems Software
• Networking
• Performance

Martin Karsten on Google Scholar

• Dr.-Ing., Karlsruhe Institute of Technology, Germany (2010)
• M.Sc., Purdue University, United States (2000)
• B.A., Mannheim Cooperative State University, Germany (1997)

• 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

Florian Kerschbaum on DBLP

• Ph.D., University of Alberta (1988)
• M.Sc., University of Alberta (1986)
• B.Sc., University of Alberta (1973)

• Symbolic Computation/Computer Algebra
• Scientific Computation/Computational Finance

George Labahn Publications

• Ph.D., Carnegie Mellon University, United States (2004)
• M.Sc., Washington University in St. Louis, United States (1999)
• B.Sc., Memorial University of Newfoundland (1997)

• 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

Kate Larson on Google Scholar

• Ph.D., University of Toronto
• M.Sc., University of Toronto
• B.Sc., The Chinese University of Hong Kong, China

• Algorithms
• Optimization
• Spectral Graph Theory

Lap Chi Lau Publications

Degrees

• PhD, Machine Learning, Carnegie Mellon University
• MSc, Computer Science, McGill University
• BSc, Computer Science, University of British Columbia

Research interests

• Social computing technology that coordinates small groups to large crowds
• New models of interactions with machine intelligence
• How technology can be designed to foster and celebrate certain human values

Publications

Edith Law publications

• Ph.D., McGill University (2005)
• M.Sc., McGill University (2002)
• B.Math., University of Waterloo (2001)

• 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.

Ondřej Lhoták Publications

• Ph.D., Cornell University, United States (1985)
• M.Sc., Cornell University, United States (1983)
• M.Sc., Wayne State University, United States (1980)

• 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.

Ming Li on Google Scholar

• Ph.D., University of Waterloo (1988)
• M.Math., University of Waterloo (1985)
• B.Sc., Sichuan University, China (1982)

• 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.

Yuying Li on Google Scholar

Degrees

• Ph.D., Université de Pierre et Marie Curie (now Sorbonne Université), France (2007)
• M.Sc., Université de Pierre et Marie Curie (now Sorbonne Université), France (2002)
• B.Sc., Ecole Nationale des Sciences de l’Informatique, Tunisia (2001)

Research interests

• Network operations and management
• Autonomic networking
• Software-defined networking
• Network programmability
• Network security
• 5G and beyond mobile networks

Publications

Noura Limam on Google Scholar

• Ph.D., University of Virginia (2022)
• M.S., University of Virginia (2020)
• B.S., University of Michigan (2016)
• B.S., Shanghai Jiao Tong University (2016)

• 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

Sihang Liu on Google Scholar

• 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)

• 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

Yang Lu on Google Scholar

• Ph.D., University of Toronto (1986)
• M.Math., University of Waterloo (1982)
• B.Sc., University of Toronto (1979)

• 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

Anna Lubiw on Google Scholar

• Ph.D., Peking University, China
• B.Sc., 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.

Bin Ma on Google Scholar

• Ph.D., Computer Science, University of California, Santa Barbara (2022) 
• M.Sc., Computer Science, University of California, Santa Barbara (2017)
• B.E., Information Science, PESIT, Bangalore (2014)

• 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

Sujaya Maiyya on DBLP

• Ph.D., University of Toronto (1998)
• M.Eng., McMaster University (1990)
• B.Eng., McMaster University (1988)

• AI, perception and learning, computer vision (motion understanding, event recognition) and computer audio (acoustics, speech, music)
• Signal processing, electro acoustic measurement and infra sound

Richard Mann Publications

• Ph.D., University of Washington, United States (1992)
• M.Sc., University of Washington, United States (1988)
• B.A., University of California, Berkeley, United States (1986)

• Curve and Surface Design for Geometric Modeling and Computer Graphics

• CNC Machining

• Geometric Algebra and its applications to Computer Graphics

Stephen Mann on Google Scholar

Degrees

• Ph.D., Computer Science, Stanford University (2017)
• M.S., Computer Science, Stanford University (2017)
• M.Eng., Electrical Engineering and Computer Science, MIT (2007)
• B.S., Electrical Engineering, MIT (2006)

Research interests

• Operating systems, distributed systems, and storage

Publications

Ali José Mashtizadeh on Google Scholar

Degrees

• Ph.D., Queen’s University, Canada (2015)
• M.Sc., Queen’s University, Canada (2011)
• B.A.Comp., University of Guelph, Canada (2009)

Research interests

• Empirical methods for software engineering. Broadly speaking, my trainees and I mine historical and operational data that is generated during the development of large-scale software systems to glean actionable insights for software stakeholders.
• Software delivery. Improving the process of assembling, verifying, and deploying releases of software systems from its sources (a.k.a., release engineering, devops).
• Software quality. Deriving practical guidelines for developing more reliable and robust software systems.

Publications

Shane McIntosh on Google Scholar

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

Feature article

University Professor Ian Munro’s Golden Jubilee — 50 years at the University of Waterloo

Degrees

• PhD, Computer Science, University of Toronto (1971)
• MSc, University of British Columbia

• BA, University of New Brunswick

Research interests

• Data structures, particularly fast and space-efficient structures
• Design, analysis and implementation of algorithms
• Database systems and data warehousing, particularly efficiency issues

Publications

Ian Munro on Google Scholar

Ian Munro on DBPL

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

• Ph.D., North Carolina State University, United States (2011)
• M.Sc., North Carolina State University, United States (2008)
• B.Sc., Anna University, India (2006)

• Empirical Software Engineering, Mining Software Repositories, Mining Mobile App stores
• Diversity in Software Engineering
• Software Security, Static Analysis

Mei Nagappan on Google Scholar

• Ph.D., University of Toronto (1991)
• M.Sc., University of Toronto (1988)
• B.Sc., Yale University, United States (1983)

• 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

Naomi Nishimura on DBLP

• Ph.D., Princeton University, United States (2017)
• M.Sc., Massachusetts Institute of Technology, United States (2012)
• B.Eng., Massachusetts Institute of Technology, United States (2011)
• B.Sc., Massachusetts Institute of Technology, United States (2011)

• Complexity Theory
• Optimization
• Geometry

Rafael Oliveira on Google Scholar

• Ph.D., Simon Fraser University (2003)
• M.Sc., University of British Columbia (1996)
• B.Math., University of Waterloo (1994)

• 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

Jeff Orchard on Google Scholar

• Ph.D., Ohio State University, United States (1983)
• M.Sc., Ohio State University, United States (1981)
• M.Sc., Middle East Technical University, Turkey (1978)
• B.Sc., Middle East Technical University, Turkey (1974)

• 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.

Tamer Özsu on DBLP

• Ph.D., Carnegie Mellon University (2013)
• B.Math., University of Waterloo (2009)

• Data structures
• Numerical analysis
• Combinatorial optimization

Richard Peng on Google Scholar

• Ph.D., University of Toronto (2004)
• M.Sc., University of British Columbia (2000)
• B.Sc., McGill University (1998)

• 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)

Pascal Poupart Publications

• Ph.D., University of California, Berkeley, United States (1986)
• B.Math., University of Waterloo (1982)

• Functional programming languages and operational semantics
• Dependent types and their use in proof assistants for verified computations

Prabhakar Ragde on DBLP

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., 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., Western Michigan University, United States (2014)
• M.Sc., Western Michigan University, United States (2003)
• M.Sc., Shaheed Zulfiqar Ali Bhutto Institute of Science and Technology, Pakistan (2001)
• B.Sc., University of Karachi (FAST-ICS), Pakistan (1999)

• 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

Mohammad Salahuddin on Google Scholar

• Ph.D., Princeton University, United States (1989)
• B.Sc., Carnegie-Mellon University, United States (1983)

• Data systems, especially synchronization, transactions, fault tolerance
• Distributed systems and cloud computing

Ken Salem on DBLP

• Ph.D., Stanford University (2015)
• B.Sc., Yale University (2006)

• Database Management Systems
• Graph Data Management Systems
• Distributed Data Processing Systems

Semih Salihoğlu on Google Scholar

Publications

Éric Schost on DBPL

• Ph.D., University of California, Berkeley, United States (1983)
• B.A., Princeton University, United States (1979)

• Automata theory and formal languages, combinatorics on words
• Number theory, combinatorics, algebra with a computational flavor

Jeffrey Shallit on Google Scholar

• Ph.D., University of Waterloo (1981)
• M.Sc., Ohio State University, United States (1980)
• B.Math., University of Waterloo (1978)

• 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

Doug Stinson on Google Scholar

• Ph.D., Swiss Federal Institute of Technology, ETH-Zurich, Switzerland (2000)
• M.Math., University of Waterloo (1994)
• B.Math., University of Waterloo (1992)

• The design and analysis of algorithms for symbolic and exact linear algebra
• Computing matrix canonical forms
• Algorithms for sparse and black-box matrices

Arne Storjohann on DBLP

• Ph.D., National University of Singapore, Singapore (2013)

• Software engineering with a focus on software reliability, software security, and developers’ productivity
• Programming languages

Chengnian Sun Publications

• M.A and Ph.D., Computer Science, Princeton University, United States (2019)
• B.Sc., Computer Engineering, Sharif University of Technology, Iran (2014)

• 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

Mina Tahmasbi Arashloo on Google Scholar

• Ph.D., University of Waterloo (1977)
• M.Math., University of Waterloo (1974)
• B.Sc., University of Saskatchewan (1972)

• 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

David Taylor on DBLP

Degrees

• PhD, Kansas State

Publications

David Toman on DBPL

David Toman on Google Scholar

• LL.D., Dalhousie University (2013)
• Ph.D., University of Toronto (1974)
• M.Sc., Brown University, United States (1970)
• B.Sc., Brown University, United States (1970)

• 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

Frank Tompa on DBLP

• 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., Computer Science, University of Texas at Austin (1999)
• M.S., Computer Science, University of Texas at Austin (1994)
• B.A., Economics and Philosophy, University of Toronto (1986)

Research interests

• Application of automated reasoning tools, such as model checkers, to the analysis of reactive systems, including computer hardware and software systems; embedded systems; and routing and communication protocols (of particular interest are compositional reasoning and abstraction techniques for coping with the state explosion problem in model checking)
• Visual notations for describing systems and their specifications; automata on infinite objects; temporal, modal, and description logics; Internet-based routing and communication protocols; and analysis of parameterized systems

Publications

Richard Trefler on DBPL

• Ph.D., University of Waterloo (1990)
• M.Math., University of Waterloo (1986)
• B.Sc., University of British Columbia (1984)

• 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

Peter van Beek 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., Cornell University, United States (1999)
• M.Sc., Cornell University, United States (1999)
• B.A., New York University, United States (1995)

• Computer vision, machine learning, deep learning, discrete optimization, graph algorithms
• Image segmentation, semantic segmentation, salient object detection

Olga Veksler on Google Scholar

• Ph.D., University of Toronto (2010)
• M.Sc., University of Toronto (2005)
• B.FA., Emily Carr University of Art + Design (1996)
• B.A., Western University (1993)

• 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

Daniel Vogel on Google Scholar

• Ph.D., University of California, Los Angeles (1998)
• M.A., University of California, Los Angeles (1995)
• B.Sc., Chinese University of Hong Kong, China (1992)

• 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

Justin Wan 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

• Ph.D., Georgia Institute of Technology, United States (2020)
• B.Eng., Nanyang Technological University, Singapore (2014)
• B.Bus., Nanyang Technological University, Singapore (2014)

• System and software security
• Program analysis, testing and verification

Meng Xu Publications

• Ph.D., University of Alberta (2013)
• M.Sc., Fudan University, China (2008)
• B.Sc., Fudan University, China (2005)

• 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

Yaoliang Yu on Google Scholar

• Ph.D., Department of Computer Science and Engineering, Hong Kong University of Science and Technology (2019)
• B.Sc. and M.Sc., Electronics and Communications Engineering, Huazhong University of Science and Technology, China (2013)

• Large-scale data analytics
• Distributed ML training and serving systems
• Application and network scheduling
• Data center networking
• Serverless computing and cloud computing

Hong Zhang on Google Scholar

• Ph.D., Carnegie Mellon University, United States (2019)
• M.Sc., Carnegie Mellon University, United States (2018)
• M.Sc., Peking University, China (2015)

• Machine Learning
• AI Security and Privacy
• Trustworthy Machine Learning

Hongyang Zhang on Google Scholar

Degrees

• PhD, Cornell University (2019)
• MS, Cornell University (2016)
• BS, Shanghai Jiao Tong University (2012)

Research interests

Programming languages: design, implementation, and theory

Publications

Yizhou Zhang on Google Scholar

• 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.

Jian Zhao on Google Scholar