UC Berkeley
Jensen, Lee, & Seshia: An Introductory Lab in Embedded and Cyber-Physical Systems

About the Authors

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

Jeff C. Jensen

Edward Ashford Lee

Sanjit A. Seshia

Jeff C. Jensen is Director of Software at the robotics startup Momentum Machines where he leads the development of software, electronics and embedded systems. He is former Senior Product Manager for Real-Time Systems at National Instruments, responsible for driving innovation of software products used to design, prototype and deploy cyber-physical systems. Jeff is an instructional adviser to the EECS department at UC Berkeley and a contributing author to UC Berkeley EECS 149 and UC BerkeleyX 149.1x on the topics of embedded and cyber-physical systems. He received B.S. and M.S. degrees in Electrical Engineering & Computer Science from the University of California, Berkeley as a researcher at the Center for Hybrid and Embedded Software Systems. 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. Sanjit A. Seshia is an Associate Professor in the Department of Electrical Engineering and Computer Sciences at UC Berkeley. His research interests are in dependable computing and computational logic, with a current focus on applying automated formal methods to problems in embedded/cyber-physical systems, computer security, electronic design automation and synthetic biology. He received his B.Tech. in Computer Science and Engineering from the Indian Institute of Technology, Bombay and a 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.