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