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