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
Ken Ueno Dept of Music music composition, decolonizing music, noise, sound installations, music of Japan, extended vocal techniques, overtone singing, musical culture of Japan, experimental improvisation
Koushik Sen
