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 Computing systems; Computer systems engineering; Systems software; resilient and efficient systems; intersection of operating systems, applied formal methods and hardware models.
Allen, Kelsey complex behaviors in humans
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 Natural language processing
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