Computer Science
Computer Science covers Bayesian statistics and applications, bioinformatics, computational intelligence (computational vision, automated reasoning, multi-agent systems, intelligent interfaces, and machine learning), computer communications, databases, distributed and parallel systems, empirical analysis of algorithms, computer graphics, human-computer interaction, hybrid systems, integrated systems design, networks, network security, networking and multimedia, numerical methods and geometry in computer graphics, operating systems, programming languages, robotics, scientific computation, software engineering, visualization, and theoretical aspects of computer science (computational complexity, computational geometry, analysis of complex graphs, and parallel processing).
Explore our Programs in Computer Science
Faculty Members in Computer Science
Name | Research Interests |
---|---|
Lemieux, Caroline | Programming languages and software engineering; help developers improve the correctness, security, and performance of software systems; test-input generation; specification mining; program synthesis |
Leyton-Brown, Kevin | Computer and information sciences; Artificial Intelligence; Algorithms; theoretical computer science; Resource Allocation; Computer Science and Statistics; Auction theory; game theory; Machine Learning |
MacLean, Karon | Computer and information sciences; Information Systems; design of user interfaces; haptic interfaces; human-computer interaction; human-robot interaction |
McGrenere, Joanna | Computer and information sciences; computer science; computer supported cooperative work (CSCW); human-computer interaction; interactive technologies for older users and people with cognitive disorders; personalized user interfaces; universal usability |
Mehta, Aastha | Software domains (including operating systems and software infrastructure); Information privacy; security & privacy; Systems security; networking; Operating systems; Data privacy; distributed systems |
Mitchell, Ian | safety critical systems, assistive technology (mobility), robotics, scientific computing, cyber-physical systems, Mathematical software, computational science and engineering, hybrid and cyber-physical systems, verification and validation, reproducible research, level set methods, robotic path, planning |
Munzner, Tamara | Human-centered computing; visualization; information visualization; visual analytics; data science |
Murphy, Gail | Programming languages and software engineering; Software Development; knowledge worker productivity; software design; software engineering; software evolution |
Ng, Raymond Tak-Yan | Data mining and analysis, health informatics, text summarization, text mining |
Pai, Dinesh | Robotics, computer graphics, medical imaging, neuroscience, sensorimotor computation |
Park, Mi Jung | Privacy-preserving machine learning algorithms, Compressing neural network models using Bayesian methods, Relationships between differential privacy and other emerging notions in machine learning |
Pasquier, Thomas | Development of more transparent computer systems, Whole-system provenance, Computational experiments reproducibility, Intrusion detection, privacy and compliance |
Pottinger, Rachel | Computer and information sciences; Computer Science and Statistics; data integration; data management; databases; metadata management |
Roth, Andrew | Bioinformatics; Cancer Evolution; Cancer omics data; computational statistics; Computational Biology; computational methods for studying clonal population structures and tumour evolution; Evolutionary cancer biology; genomics; Machine Learning; Methodological work in computational statistics; Molecular Oncology |
Schmidt, Mark | Machine learning; Numerical Optimizaiton; Probabilistic Graphical Models; Causality |
Seltzer, Margo | Computer Systems; Data Quality; Storage; Machine Learning & Systems; Systems for capturing and accessing data provenance; File Systems; databases; Transaction processing systems; Storage and analysis of graph-structured data; New architectures for parallelizing execution; Systems that apply technology to problems in healthcare.; Artificial Intelligence; Decision-making & Action; Software Practices; Networks, Systems and Security |
Sheffer, Alla | Computer graphics, shape modeling and geometry processing |
Shelhamer, Evan | Machine learning; Computer vision in artificial intelligence; Artificial intelligence (AI); Machine Learning; Computer Vision / Visual Recognition; Robustness and Adaptation; Self-Supervised / Unsupervised Learning; Applications to Remote Sensing and Sustainability |
Shepherd, Bruce | Natural sciences; Algorithms, Combinatorics, Polyhedra |
Shwartz, Vered | Artificial Intelligence; Machine Learning; Natural Language Processing |
Sigal, Leonid | Computer and information sciences; Artificial Intelligence; Computer Science and Statistics; Parametric and Non-Parametric Inference; Computer Vision; Machine Learning; Semantic Recognition; Vision + Natural Language Processing; Visual Recognition and Understanding |
Summers, Alexander | Programming languages and software engineering; programming languages; software engineering |
Sutherland, Danica | |
Tang, Xin | Bioinformatics; Artificial intelligence (AI); Cell biology; Neurosciences, biological and chemical aspects; Mathematical biology; Genetics; Medical and biomedical engineering; Cancer; Neurosciences, medical and physiological and health aspects; Explainable and Interpretable Learning, Representation Learning, Knowledge Distillation; Biologically Informed Neural Network, Physically Informed Neural Network; Knowledge Distillation, Biological LLM, Biomedical Image Processing; Computational Cell Biology, Single-cell Biology, Multi-omics, Virtual Cell, Spatial Omics; Brain-Computer Interface, Neuroscience, Brain Mapping; Cancer Genomics, Development, Aging |
Van de Panne, Michiel | Computer Science and Statistics; Computer Sciences and Mathematical Tools; Robotics and Automation; simulation of human movement; computer animation; Robotics; deep reinforcement learning; motor control; computer graphics |