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 |
|---|---|
| Achermann, Reto | Computing systems; Computer systems engineering; Systems software; resilient and efficient systems; intersection of operating systems, applied formal methods and hardware models. |
| Beschastnikh, Ivan | Computer and information sciences; software engineering; distributed systems; cloud computing; software analysis; Machine Learning |
| Bowman, William | Computer and information sciences; Programming languages and software engineering; Programming languages; Compilers; programming languages |
| Carenini, Giuseppe | Artificial intelligence, user modeling, decision theory, machine learning, social issues in computing, computational linguistics, information visualization |
| Clune, Jeff | |
| Conati, Cristina | artificial intelligence, human-computer interaction, affective computing, personalized interfaces, intelligent user interfaces, intelligent interface agents, virtual agent, user-adapted interaction, computer-assisted education, educational computer games, computers in education, user-adaptive interaction, Artificial intelligence, adaptive interfaces, cognitive systems, user modelling |
| Condon, Anne | Algorithms; Molecular Programming |
| Ding, Jiarui | Bioinformatics; Basic medicine and life sciences; Computational Biology; Machine Learning; Probabilistic Deep Learning; single-cell genomics; visualization; Cancer biology; Computational Immunology; Food Allergy; neuroscience |
| Evans, William | Computer and information sciences; Algorithms; theoretical computer science; Computer Sciences and Mathematical Tools; computational geometry; graph drawing; program compression |
| Feeley, Michael | Distributed systems, operating systems, workstation and pc clusters |
| Friedlander, Michael | numerical optimization, numerical linear algebra, scientific computing, Scientific computing |
| Friedman, Joel | Computer and information sciences; Algebraic Graph Theory; Combinatorics; Computer Science Theory |
| Garcia, Ronald | Programming languages; programming languages |
| Greenstreet, Mark | Dynamic systems, formal methods, hybrid systems, differential equations |
| Greif, Chen | Numerical computation; Numerical analysis; scientific computing; numerical linear algebra; numerical solution of elliptic partial differential equations |
| Gujarati, Arpan | Computer and information sciences; Systems |
| Harvey, Nicholas | randomized algorithms, combinatorial optimization, graph sparsification, discrepancy theory and learning theory; algorithmic problems arising in computer networking, including cache analysis, load balancing, data replication, peer-to-peer networks, and network coding. |
| Hoang, Nguyen Phong | networking; security & privacy; network security; online privacy; Internet measurement |
| Holmes, Reid | Computer and information sciences; computer science; open source software; software comprehension; software development tools; software engineering; software quality; software testing; static analysis |
| Hu, Alan | Computer and information sciences; formal methods; formal verification; model checking; nonce to detect automated mining of profiles; post-silicon validation; security; software analysis |
| Hutchinson, Norman | Computer and information sciences; Computer Systems; distributed systems; File Systems; Virtualization |
| Kiczales, Gregor | MOOCs, Blended Learning, Flexible Learning, University Strategy for Flexible and Blended Learning, Computer Science Education, Programming Languages, Programming languages, aspect-oriented programming, foundations, reflections and meta programming, software design |
| Lakshmanan, Laks | data management and data cleaning; data warehousing and OLAP; data and text mining; analytics on big graphs and news; social networks and media; recommender systems |
| Lecuyer, Mathias | Machine learning systems; Guarantees of robustness, privacy, and security |
| 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 | Networking, Security & Privacy, Systems security, Data privacy, Operating systems, 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 |
| Shepherd, Bruce | algorithms, optimization, convex geometry, and graph theory |
| 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 | |
| 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 |
| Wang, Daochen | Quantum Computation; structures beneath quantum speed-ups; quantum cryptography |
| Wood, Frank Donald | Computer and information sciences; Artificial Intelligence; Computational neuroscience; Machine Learning; Natural Language Processing; New models and inference algorithms; Probabilistic models; Probabilistic programming; Probabilistic programming systems; Reinforcement learning; Robotics; vision |
| Xiao, Robert | human-computer interaction; Virtual/augmented reality |
