Paolo Mancosu Dept of Philosophy philosophy, philosophy of mathematics and its history, philosophy of logic, mathematical logic
Sanjit Seshia Division of Computer Science (EECS) Division of Electrical Engineering (EECS) formal methods, computational logic, electronic design automation, computer security, dependable computing, Cyber-Physical Systems, programming languages
Koushik Sen Division of Computer Science (EECS) computer science, programming systems, software engineering, programming languages, computational logic, software testing, verification, model checking, runtime monitoring, performance evaluation
John MacFarlane Dept of Philosophy ancient philosophy, philosophical logic, philosophy of language, epistemology
Seth Yalcin Dept of Philosophy philosophy of language, cognitive science, semantics, metaphysics, epistemology, philosophical logic
Bruno Olshausen Dept of Neuroscience School of Optometry visual perception, computational neuroscience, computational vision
Venkatesan Guruswami Dept of Mathematics Division of Computer Science (EECS) theoretical computer science, coding theory, approximate optimization, randomness in computation, computational complexity
Ian Holmes Dept of Bioengineering computational biology, molecular evolution, computational genomics, Systems and Synthetic Biology
Teresa Head-Gordon Dept of Chemistry theoretical chemistry, Computational chemistry, machine learning, chemical physics, biophysics, biomolecules, materials, catalysis, computational science
John Huelsenbeck Dept of Integrative Biology computational biology, evolutionary biology, phylogenetics
Yun S. Song Dept of Statistics Division of Computer Science (EECS) artificial intelligence, machine learning, applied probability and statistics, computational biology, computational genomics, human genetics
Francisco Armero Dept of Civil and Environmental Engineering computational mechanics, nonlinear continuum mechanics
Denis Titov Dept of Molecular & Cell Biology Dept of Nutritional Sciences & Toxicology metabolism, aging, systems biology, computational biology
Sandrine Dudoit Dept of Statistics School of Public Health statistics, machine learning, data science, applied statistics, statistical computing, computational biology, computational genomics, precision medicine, precision health
Karthik Shekhar Dept of Chemical & Biomolecular Engineering computational biology and genomics, neuroscience, biophysics, soft matter
Steven E. Brenner Dept of Bioengineering Dept of Molecular & Cell Biology Dept of Plant and Microbial Biology molecular biology, computational biology, evolutionary biology, bioengineering, structural genomics, computational genomics, cellular activity, cellular functions, personal genomics
Lijie Chen Division of Computer Science (EECS) computational complexity, quantum computing, pseudorandomness, derandomization, complexity theory
Alper Atamturk Dept of Industrial Engineering & Operations Research sparse learning, integer programming, computational optimization, robust optimization, logistics
Ilan Adler Dept of Industrial Engineering & Operations Research mathematical programming, computational game theory, applied probability