Lee & Seshia: Introduction to Embedded Systems - A Cyber-Physical Systems Approach

About the Authors

Picture of E. A. Lee Picture of S. A. Seshia

Edward Ashford Lee

Sanjit Arunkumar Seshia

Edward A. Lee is the Robert S. Pepper Distinguished Professor and former chair of the Electrical Engineering and Computer Sciences (EECS) department at UC Berkeley. His research interests center on design, modeling, and simulation of embedded, real-time computational systems. He is a director of Chess, the Berkeley Center for Hybrid and Embedded Software Systems, and is the director of the Berkeley Ptolemy project. He received a B.S. from Yale University (1979), an S.M. from MIT (1981), and a Ph.D. from UC Berkeley (1986). From 1979 to 1982 he was a member of technical staff at Bell Labs. He is a co-founder of BDTI, Inc., where he is currently a Senior Technical Advisor. He is a Fellow of the IEEE, was an NSF Presidential Young Investigator, and won the 1997 Frederick Emmons Terman Award for Engineering Education, and received the 2016 Outstanding Technical Achievement and Leadership Award from the IEEE Technical Committee on Real-Time Systems (TCRTS). Sanjit A. Seshia is a Professor in the Department of Electrical Engineering and Computer Sciences at UC Berkeley. His research interests center on dependable computing, computational logic, and formal methods, with applications to problems in embedded systems, electronic design automation, computer security, and synthetic biology. He received a B.Tech. in Computer Science and Engineering from the Indian Institute of Technology, Bombay and an M.S. and a Ph.D. in Computer Science from Carnegie Mellon University. He has received a Presidential Early Career Award for Scientists and Engineers (PECASE), an Alfred P. Sloan Research Fellowship, and the School of Computer Science Distinguished Dissertation Award at Carnegie Mellon University.