Alberto Sangiovanni-Vincentelli Division of Electrical Engineering/EECS Cyber-Physical Systems, System design, Electronic Design Systems, embedded system design, control, integrated circuits, theory, Machine learning applications to Energy Efficient Building and Health
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