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 electronic design automation, theory, computer security, program analysis, dependable computing, computational logic, formal methods