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

Name Research Interests
Achermann, Reto resilient and efficient systems; intersection of operating systems, applied formal methods and hardware models.; resilient and efficient systems, intersection of operating systems, applied formal methods and hardware models.
Allen, Kelsey complex behaviors in humans; complex behaviors in humans
Beschastnikh, Ivan software engineering; distributed systems; cloud computing; software analysis; Machine Learning; Software engineering, Distributed systems, Cloud computing, Software analysis, Machine Learning
Bowman, William programming languages; Programming languages
Carenini, Giuseppe Artificial intelligence, user modeling, decision theory, machine learning, social issues in computing, computational linguistics, information visualization
Chen, Peter Yichen computer graphics, machine learning, scientific computing, mechanics, robotics
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; Algorithms, Molecular Programming
Ding, Jiarui Bioinformatics; Computational Biology; Machine Learning; Probabilistic Deep Learning; single-cell genomics; visualization; Cancer biology; Computational Immunology; Food Allergy; neuroscience; Bioinformatics, Computational Biology, Machine Learning, Probabilistic Deep Learning, Single-cell Genomics, Visualization, Cancer Biology, Computational Immunology, Food Allergy, Neuroscience
Feeley, Michael Distributed systems, operating systems, workstation and pc clusters
Friedlander, Michael numerical optimization, numerical linear algebra, scientific computing, Scientific computing
Friedman, Joel Algebraic Graph Theory; Combinatorics; Computer Science Theory; Algebraic Graph Theory, Combinatorics, Computer Science Theory
Garcia, Ronald programming languages; Programming Languages
Gonen, Hila Natural Language Processing, Machine Learning and Artificial Intelligence, Control and interpretation of models: understanding model behavior and controlling model generation, Reliability, safety & fairness: making models more consistent & safe, and mitigating biases and risk, Multilinguality: creating NLP tools that equitably serve speakers of as many languages as possible
Greenstreet, Mark Dynamic systems, formal methods, hybrid systems, differential equations
Greif, Chen Numerical analysis; scientific computing; numerical linear algebra; numerical solution of elliptic partial differential equations; numerical analysis, scientific computing, numerical linear algebra, numerical solution of elliptic partial differential equations
Gujarati, Arpan Systems; Systems
Harms, Nathan Randomized communication, Property testing vs. learning
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; networking, security & privacy, network security, online privacy, Internet measurement
Holmes, Reid computer science; open source software; software comprehension; software development tools; software engineering; software quality; software testing; static analysis; Computer science, Open source software, Software comprehension, Software development tools, Software engineering, Software quality, Software testing, Static analysis
Hutchinson, Norman Computer Systems; Computer Systems; distributed systems; File Systems; Virtualization; Computer Systems, Computer Systems, Distributed Systems, File Systems, Virtualization
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; Analytics on big graphs and news, Data and text mining, Data management and data cleaning, Data warehousing and OLAP, Recommender systems, Social networks and media
Lecuyer, Mathias Machine learning systems; Guarantees of robustness, privacy, and security; Machine learning systems, Guarantees of robustness, privacy, and security