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
John Huelsenbeck Dept of Integrative Biology computational biology, evolutionary biology, phylogenetics
Teresa Head-Gordon Dept of Bioengineering Dept of Chemical & Biomolecular Engineering Dept of Chemistry Computational chemistry, machine learning, chemical physics, biophysics, biomolecules, materials, catalysis, computational science
Francisco Armero Dept of Civil and Environmental Engineering computational mechanics, nonlinear continuum mechanics
Yun S. Song Dept of Statistics Division of Computer Science (EECS) computational biology, machine learning, applied probability and statistics
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
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
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
Anne Collins Dept of Psychology learning, decision making, computational modeling, executive functions
James A. Sethian Dept of Mathematics mathematics, applied mathematics, partial differential equations, computational physics, level set Methods, computational fluid mechanics and materials sciences, fast marching methods