Sanjit Seshia electronic design automation, theory, computer security, program analysis, dependable computing, computational logic, formal methods Division of Computer Science/EECS Division of Electrical Engineering/EECS