Avishay Tal Division of Computer Science (EECS) theory(THY), complexity theory, analysis of Boolean functions, randomness in computation, quantum computation
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
Alvin Cheung Division of Computer Science (EECS) program analysis, program synthesis, database application performance, big systems, big data, database management, database management systems, database design and construction, programming languages and compilers, programming languages
Stuart J. Russell Division of Computer Science (EECS) artificial intelligence, computational biology, algorithms, machine learning, real-time decision-making, probabilistic reasoning
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
Ramamoorthy Ramesh Dept of Materials Science and Engineering Dept of Physics Atomic-scale synthesis of complex oxide heterostructures, 2D materials, spin-charge coupling, polar and magnetic topologies, electron microscopy, piezoforce microscopy, NV magnetometry, materials processing for devices, energy efficient electronics(12634)
Avishay Tal
