Paul N. Hilfinger computer science, programming systems, software engineering Division of Computer Science/EECS
Jonathan Ragan-Kelley graphics, programming systems, computer architecture & engineering, programming languages and compilers, image processing, high performance computing Division of Computer Science/EECS
Koushik Sen computer science, programming systems, software engineering, programming languages, computational logic, software testing, verification, model checking, runtime monitoring, performance evaluation Division of Computer Science/EECS