Sarah Chasins Division of Computer Science (EECS) programming systems, human-computer interaction, programming languages, programming languages and compilers, program synthesis, data science
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
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
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
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
Sarah Chasins
