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