Paolo Mancosu Dept of Philosophy philosophy, philosophy of mathematics and its history, philosophy of logic, mathematical logic
John MacFarlane Dept of Philosophy ancient philosophy, philosophical logic, philosophy of language, epistemology
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
Seth Yalcin Dept of Philosophy philosophy of language, cognitive science, semantics, metaphysics, epistemology, philosophical logic
Alper Atamturk Dept of Industrial Engineering & Operations Research sparse learning, integer programming, computational optimization, robust optimization, logistics
Michael Jordan Dept of Statistics Division of Computer Science (EECS) computer science, artificial intelligence, computational biology, statistics, machine learning, electrical engineering, applied statistics, optimization
Jitendra Malik Division of Computer Science (EECS) computer science, electrical engineering, vision science, computer vision, robotics
Terry Regier Dept of Linguistics language and thought, computational linguistics, semantic universals, lexical semantics
Umesh Vazirani Division of Computer Science (EECS) quantum computation, hamiltonian complexity, analysis of algorithms, computer security
Shafi Goldwasser Division of Computer Science (EECS) cryptography, computational number theory, complexity theory, fault tolerant distributed computing, probabilistic proof systems, approximation algorithms, theory(THY)
Alexei Efros Division of Computer Science (EECS) computer vision, computer graphics, computational photography, machine learning, artificial intelligence
Katherine A. Yelick Division of Computer Science (EECS) high performance computing, partitioned Global Address Space programming, communication-avoiding algorithms, automatic performance tuning, high performance data analytics, computational biology
John Huelsenbeck Dept of Integrative Biology computational biology, evolutionary biology, phylogenetics
Sung-Hou Kim Dept of Chemistry computational genomics, Genomic susceptibility of common diseases, Genomic Tree of Life, Demography of human genome diversity
Brian A. Barsky Division of Computer Science (EECS) School of Optometry computer science, geometric design and modeling, computer graphics, computer aided cornea modeling and visualization, medical imaging, virtual environments for surgical simulation
Venkatesan Guruswami Dept of Mathematics Division of Computer Science (EECS) theoretical computer science, coding theory, approximate optimization, randomness in computation, computational complexity
John F. Canny Division of Computer Science (EECS) computer science, activity-based computing, livenotes, mechatronic devices, flexonics
John D. Kubiatowicz Division of Computer Science (EECS) computer architecture, quantum computer design, internet-scale storage systems and peer-to-peer networking, operating systems & networking, computer security
Alane Suhr Division of Computer Science (EECS) artificial intelligence, natural language processing, machine learning, computer vision, computational linguistics
Ion Stoica Division of Computer Science (EECS) networking and distributed computer systems, quality of service (Q of S) and resources management, modeling and performance analysis
Paolo Mancosu
Paolo Mancosu
Paolo Mancosu
