Contacts

Degrees

• Ph.D., Syracuse University, United States (2016)
• M.Eng., Syracuse University, United States (2012) 

Research interests

• Mobile and smart device security
• System and software security

Publications

Yousra Aafer on Google Scholar

Degrees

• Ph.D., University of British Columbia (2013)
• M.Sc., University of British Columbia (2008)
• B.Sc., Jordan University of Science and Technology, Jordan (2003)

Research interests

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

Publications

Samer Al-Kiswany Publications

Degrees

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

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

Mina Tahmasbi Arashloo on Google Scholar

Degrees

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

Research interests

• 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

Publications

N. Asokan Publications

Degrees

• Ph.D., Computer and Information Science, University of Pennsylvania (2018)
• B.Sc., Computer Engineering, Sharif University of Technology (2013)

Research interests

• 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

Publications

Sepehr Assadi on Google Scholar

Degrees

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

Research interests

• Analysis of large distributed software systems and visualization of analysis results
• Semantics of composition of software features, and detection and resolution of feature interactions

Publications

Joanne Atlee 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

Degrees

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

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

Diogo Barradas on Google Scholar

Degrees

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

Research interests

• 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

Publications

Christopher Batty on Google Scholar

Degrees

• Ph.D., Hebrew University, Jerusalem, Israel (1987)
• M.Sc., Hebrew University Jerusalem, Israel (1979)
• B.Sc., Hebrew University Jerusalem, Israel (1978)

Research interests

• Machine learning theory
• Unsupervised learning and clustering
• Domain adaptation and transfer learning
• Fairness, reliability and interpretability of machine learning-based tools
• Logic and its applications to computer science theory
• Alternatives to worst-case complexity

Publications

Shai Ben-David on Google Scholar

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

Publications

Daniel Berry on DBLP

Degrees

• Ph.D., Rutgers, The State University of New Jersey, United States (1997)
• Dipl.-Math., Technical University of Berlin, Germany (1996)

Research interests

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

Publications

Therese Biedl on DBLP

Degrees

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

Research interests

• Randomized and sublinear-time algorithms
• Complexity theory

Publications

Eric Blais on DBLP

Degrees

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

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

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

Degrees

• PhD, University of British Columbia (2016)
• MSc, University of British Columbia (2011)
• BComp, Queen's University (2009)

Research interests

Matt is a human-computer interaction (HCI) and data visualization researcher interested in ubietous information experiences: he designs, implements, and evaluates new ways to communicate and collaborate around data.

Publications

Matthew Brehmer on Google Scholar

Degrees

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

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

Dan Brown on Google Scholar

Degrees

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

Research interests

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

Publications

Trevor Brown on DBLP

Degrees

• Ph.D., University of Manitoba (1985)
• M.Sc., University of Manitoba (1978)
• B.Sc., University of Manitoba (1976)

Research interests

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

Publications

Peter Buhr on DBLP

Degrees

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

Research interests

• Natural Language Processing
• Deep Learning

Publications

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, Toronto (1989)
• MMath, Waterloo (1984)
• BMath, Waterloo (1983)

Research interests

• Quantum computing
• Computational complexity theory

Publications

Richard Cleve 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

Degrees

• PhD, Computer Science, University of British Columbia (2019)
• MSc, Bioinformatics, University of British Columbia (2010)
• BComp, Biomedical Computing, Queen’s University (2008)

Research Interests

Dr. Crisan conducts interdisciplinary research at the intersection of Human-Computer Interaction, Data Visualization, and Applied AI/ML. Her areas of focus include:

• Human-Centered Artificial Intelligence (AI) and Machine Learning (ML): Developing responsible, transparent, and trustworthy AI/ML systems guided by and aligned with human intents
• Interactive Visualization Systems: Designing visualization systems that support data-driven decision-making, from insight discovery to action
• Data Science in Healthcare, Public Health, and Biomedicine: Leveraging data science and visualization to improve outcomes in these critical disciplines

Publications

Ana Crisan on Google Scholar

Degrees

• PhD, Computer Science, University of Waterloo

Research interests

• Large-scale systems, storage and infrastructure

Selected publications

Degrees

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

Research interests

• Software engineering
• Formal methods
• Software requirements and modelling

Publications

Nancy Day Publications

Degrees

• PhD, Computer Science, Harvard University (2023)
• Master in Language Technologies, Carnegie Mellon University (2016)
• Bachelor of Engineering, Department of Automation, Tsinghua University (2014)

Research interests

Yuntian Deng’s research interests center on the intersection of natural language processing, machine learning, and multi-agent systems. Specifically, he is interested in exploring how large language models (LLMs) can communicate and collaborate to solve complex tasks together, and how they can be trained to specialize in different domains for a division of labor. His key focus areas include:

• Inducing Latent Language for Inter-LLM Communication: Developing methods to induce a specialized language for LLM communication, thereby enabling LLMs to leverage each other’s expertise.
• Communication for Models Across Modalities: Extending Inter-LLM communication methods to enable collaboration among models that specialize in different modalities, such as language, image, and sensory data.
• Collaborative Training for Division of Labor among Models: Exploring ways to foster a division of labor among models, using communication as a tool to distribute knowledge among them during the training process.

Publications

Yuntian Deng on Google Scholar

Degrees

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

Research interests

• Machine Learning on Graphs
• Numerical Optimization

Publications

Kimon Fountoulakis on Google Scholar

Degrees

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

Research interests

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

Publications

Mark Giesbrecht Publications

Degrees

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

Research interests

• 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

Publications

Michael Godfrey on Google Scholar

Degrees

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

Research interests

• 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

Publications

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

Degrees

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

Research interests

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

Publications

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

Degrees

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

Research interests

• 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

Publications

Xi He on Google Scholar

Degrees

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

Research interests

• 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

Publications

Urs Hengartner Publications

Degrees

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

Research interests

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

Publications

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

• PhD, Purdue University, United States (2004)
• Master’s, Alexandria University, Egypt (1999)
• Bachelor’s, Alexandria University, Egypt (1995)

Research area

• Probabilistic and uncertain data management
• Machine learning for data quality and enrichment
• Big Data
• Information extraction

Publications

Ihab Ilyas on Google Scholar

Degrees

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

Research interests

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

Publications

Gautam Kamath on Google Scholar

Degrees

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

Research interests

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

Publications

Craig S. Kaplan Publications

Degrees

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

Research interests

• 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

Publications

Lila Kari on Wikipedia

Lila Kari on Google Scholar

Degrees

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

Research interests

• Computer Systems Software
• Networking
• Performance

Publications

Martin Karsten on Google Scholar

Degrees

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

Research interests

• 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

Publications

Florian Kerschbaum on DBLP

Degrees

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

Research interests

• 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

Publications

Kate Larson on Google Scholar

Degrees

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

Research interests

• Algorithms
• Optimization
• Spectral Graph Theory

Publications

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

Degrees

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

Research interests

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

Publications

Ondřej Lhoták Publications

Degrees

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

Research interests

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

Publications

Yuying Li on Google Scholar

Degrees

• Doctor of Philosophy, Electrical Engineering and Computer Science, Massachusetts Institute of Technology (2004)
• Master of Engineering, Electrical Engineering and Computer Science, Massachusetts Institute of Technology (2001)
• Bachelor of Science, Electrical Engineering and Computer Science, Massachusetts Institute of Technology (2000)

Research interests

• Natural language processing
• Information retrieval
• Data science

Publications

Jimmy Lin Publications

Jimmy Lin on Google Scholar

Degrees

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

Research interests

• Computer architecture, especially the design of the next-generation processor, memory, and storage for data center–scale applications
• Programming and system support for new and emerging architectures
• Security in computer hardware systems

Publications

Sihang Liu on Google Scholar

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

Yang Lu on Google Scholar

Degrees

• Ph.D., Peking University, China
• B.Sc., Peking University, China

Research interests

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

Publications

Bin Ma on Google Scholar

Degrees

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

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

Sujaya Maiyya on DBLP

Degrees

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

Research interests

• Curve and Surface Design for Geometric Modeling and Computer Graphics

• CNC Machining

• Geometric Algebra and its applications to Computer Graphics

Publications

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

Degrees

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

Research interests

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

Publications

Mei Nagappan on Google Scholar

Degrees

• Ph.D., The University of Texas at Austin (2023)
• M.Sc., The University of Texas at Austin (2020)
• B.Sc., University of Science and Technology of China (2017)

Research interests

• Machine learning and natural language processing for software engineering, including code completion, generation, and summarization, code and comment co-evolution, etc.
• Software testing and formal verification, including test completion and generation, machine learning for proof engineering, etc.

Publications

Pengyu Nie on Google Scholar

Pengyu Nie publications

Degrees

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

Research interests

• 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

Publications

Naomi Nishimura on DBLP

Degrees

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

Research interests

• Complexity Theory
• Optimization
• Geometry

Publications

Rafael Oliveira on Google Scholar

Degrees

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

Research interests

• 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

Publications

Jeff Orchard on Google Scholar

Degrees

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

Research interests

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

Publications

Tamer Özsu on DBLP

Degrees

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

Research interests

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

Publications

Pascal Poupart Publications

Degrees

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

Research interests

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

Publications

Prabhakar Ragde on DBLP

Degrees

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

Research interests

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

Publications

Semih Salihoğlu on Google Scholar

Degrees

• PhD, Computer Science, Massachusetts Institute of Technology, Electrical Engineering and Computer Science (2019)
• MMath, Computer Science, University of Waterloo (2013)
• BMath, Computational Math, University of Waterloo (2011)

Research interests

My focus is on quantum complexity theory with recurring themes of

• Clifford circuits
• Low-depth circuits (classical and quantum), and
• Classical simulation of quantum circuits

Publications

Luke Schaeffer’s publications

Degrees

• PhD, École polytechnique, France (2000)
• MSc, École polytechnique, France (1996)
• BSc, École normale supérieure de Cachan, France (1995)

Research interests

• Computer algebra

Publications

Éric Schost on Google Scholar

Education

• PhD, Computer Science, Toyota Technological Institute at Chicago (2023)
• BS, Intelligence Science and Technology, Peking University (2018)

Research interests

• Computational linguistics, natural language processing and machine learning: compositional semantics, grounded language acquisition, unsupervised and semi-supervised representation learning, structured prediction, narrative understanding, and information theory for natural language processing

Publications

Freda Shi on Google Scholar

Freda Shi publications

Degrees

• Ph.D., Computer Science, University of California, Santa Barbara, USA 2023
• M.Sc., Computer Science and Mathematics, Weizmann Institute of Science, Israel, 2017
• B.Sc., Computer Science and Mathematics, Open University, Israel, 2015

Research interests

• Computer graphics, rendering and light transport: accurately modelling and simulating the behaviour of light and its interaction with matter in complex environments
• Ray and wave optics

Publications

Shlomi Steinberg on DBLP

Shlomi Steinberg on ORCID

Degrees

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

Research interests

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

Publications

Arne Storjohann on DBLP

Degrees

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

Research interests

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

Publications

Chengnian Sun Publications

Degrees

• PhD, Kansas State University, USA (1996)
• Mgr (combined BSc/MSc), Masaryk University, Czechoslovakia (1992)

Research interests

•   Logic in Computer Science
•   Knowledge Representation
•   Database and Information Systems

Publications

David Toman on DBPL

David Toman on Google Scholar

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

Degrees

• Ph.D., Cornell University, United States (1999)
• M.Sc., Cornell University, United States (1999)
• B.A., New York University, United States (1995)

Research interests

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

Publications

Olga Veksler on Google Scholar

Degrees

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

Research interests

• 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

Publications

Daniel Vogel on Google Scholar

Degrees

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

Research interests

• 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

Publications

Justin Wan Publications

Degrees

• PhD, Computer Science, University of Waterloo (1986) 
• MMath, Applied Mathematics, University of Waterloo (1981) 
• BSc, Hon. Mathematics and Hon. Physics, University of New Brunswick (1979)

Research interests

To make computers handle mathematics intelligently. This work has centered on the following key questions:

• Programming Languages: What language ideas and technology can improve mathematical software?
• Algorithms and Domains: How can we expand the areas amenable to effective symbolic computation?
• Interfaces: How should computer algebra systems interact with each other and other software?
• Knowledge Management: How to organize and query the world’s mathematical knowledge?
• Collaboration: What software solutions can enhance mathematical collaboration, including mathematical handwriting recognition?
• On-line STEM Education: How can mathematically sophisticated software improve learning of STEM subjects?

Publications

Stephen M. Watt publications

Degrees

• PhD, University of Toronto, 1987
• MSc, University of British Columbia, 1980
• BSc, University of British Columbia, 1976

Research interests

• Structured data integration, with a focus on entity reference
• Query evaluation in both closed and open worlds, with a focus on view-based query rewriting
• Logic in computer science

Publications

Grant Weddell on DBPL

Degrees

• Ph.D., Cornell University, USA (2011)
• M.Sc., Cornell University, USA (2007)
• B.A.Sc, University of Waterloo, Canada (2003)

Research interests

• Distributed systems and networking, with particular emphasis on problems involving blockchains, cloud and serverless computing, and distributed storage systems

Publications

Bernard Wong on DBPL

Bernard Wong publications

Degrees

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

Research interests

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

Publications

Meng Xu Publications

Degrees

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

Research interests

• 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

Publications

Yaoliang Yu on Google Scholar

Degrees

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

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

Hong Zhang on Google Scholar

Degrees

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

Research interests

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

Publications

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

Degrees

• Ph.D., University of Toronto (2016)

Research interests

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

Publications

Jian Zhao on Google Scholar

Degrees

• PhD, Computer Science, University of Washington (2023)
• Master of Science, Computer Science, Stanford University (2016)
• Bachelor of Applied Science, Computer Engineering, University of Toronto (2014)

Research interests

• Machine learning
• Natural language processing
• Reinforcement learning
• Artificial intelligence

Publications

Victor Zhong on Google Scholar