Edward A. Lee
Research Areas
- Cyber-Physical Systems and Design Automation (CPSDA)
- Programming Systems (PS)
- Signal Processing (SP)
- Computer Architecture & Engineering (ARC)
- Information, Data, Network, and Communication Sciences (IDNCS)
- Design, Modeling and Analysis (DMA)
- Embedded Software, Real-Time Systems, Cyber-Physical Systems, Concurrency
Teaching Schedule
Spring 2025
- CS 24-2. The Coevolution of Humans and Machines, Mo 11:00-11:59, Cory 531
Biography
Please see my Personal home page for up-to-date information.
Edward A. Lee is Professor of the Graduate School and Distinguished Professor Emeritus in Electrical Engineering and Computer Sciences (EECS) at the University of California at Berkeley, where he has been on the faculty since 1986. He is the author of seven books, some with several editions, including two for a general audience, and hundreds of papers and technical reports. Lee has delivered more than 200 keynote and other invited talks at venues worldwide and has graduated 40 PhD students. Professor Lee's research group studies cyber-physical systems, which integrate physical dynamics with software and networks. His focus is on the use of deterministic models as a central part of the engineering toolkit for such systems. He is the director of iCyPhy, the Berkeley Industrial Cyber-Physical Systems Research Center. From 2005-2008, he served as Chair of the EE Division and then Chair of the EECS Department at UC Berkeley. He has led the development of several influential open-source software packages, notably Ptolemy and Lingua Franca. He received his BS degree in 1979 from Yale University, with a double major in Computer Science and Engineering and Applied Science, an SM degree in EECS from MIT in 1981, and a Ph.D. in EECS from UC Berkeley in 1986. From 1979 to 1982 he was a member of technical staff at Bell Labs in Holmdel, New Jersey, in the Advanced Data Communications Laboratory. He is a co-founder of BDTI, Inc., where he is currently a Senior Technical Advisor, and has consulted for a number of other companies. He is a Fellow of the IEEE, was an NSF Presidential Young Investigator, won the 1997 Frederick Emmons Terman Award for Engineering Education, received the 2016 Outstanding Technical Achievement and Leadership Award from the IEEE Technical Committee on Real-Time Systems (TCRTS), the 2018 Berkeley Citation, the 2019 IEEE Technical Committee on Cyber-Physical Systems (TCCPS) Technical Achievement Award, the 2022 European Design and Automation Association (EDAA) Achievement Award, the 2022 ACM SIGBED Technical Achievement Award, an Honorary Doctorate in Computer Science from the Technical University of Vienna in 2022, and the 2023 CASES Test of Time Award for a paper published in 2008. For more details, see: https://ptolemy.berkeley.edu/~eal/.
Education
- 1986, PhD, EECS, UC Berkeley
- 1981, SM, EECS, MIT
- 1979, BS, CS and Eng. & Applied Science, Yale
Selected Publications
- H. Kim, E. Kang, E. A. Lee, and D. Broman, "A Toolkit for Construction of Authorization Service Infrastructure for the Internet of Things," in Proceedings of the Second International Conference on Internet-of-Things Design and Implementation, IoTDI '17, New York, NY, USA: ACM, 2017, pp. 147--158.
- F. Cremona, M. Lohstroh, S. Tripakis, C. Brooks, and E. A. Lee, "FIDE - An FMI Integrated Development Environment," in Symposium on Applied Computing, 2016.
- H. Kim, A. Wasicek, B. Mehne, and E. A. Lee, "A Secure Network Architecture for the Internet of Things Based on Local Authorization Entities," in IEEE 4th International Conference on Future Internet of Things and Cloud (FiCloud), 2016, pp. 114-122.
- M. Lohstroh, C. Brooks, and E. A. Lee, "Building IoT applications with accessors in CapeCode: demo abstract," in Proceedings of the 7th International Conference on Cyber-Physical Systems, 2016, pp. 41.
- D. Broman, L. Greenberg, E. A. Lee, M. Masin, S. Tripakis, and M. Wetter, "Requirements for Hybrid Cosimulation Standards," in Hybrid Systems: Computation and Control (HSCC 2015), 2015.
- M. Lohstroh and E. A. Lee, "An Interface Theory for the Internet of Things," in Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings, 2015.
- B. Zhang, N. Mor, J. Kolb, D. S. Chan, N. Goyal, K. Lutz, E. Allman, J. Wawrzynek, E. A. Lee, and J. D. Kubiatowicz, "The Cloud is Not Enough: Saving IoT from the Cloud," in Proceedings of the 7th USENIX Conference on Hot Topics in Cloud Computing, HotCloud'15, Berkeley, CA, USA: USENIX Association, 2015, pp. 21--21.
- H. Kim, D. Broman, E. A. Lee, M. Zimmer, A. Shrivastava, and J. Oh, "A predictable and command-level priority-based DRAM controller for mixed-criticality systems," in Real-Time and Embedded Technology and Applications Symposium (RTAS), 2015 IEEE, 2015, pp. 317-326.
- E. Latronico, E. A. Lee, M. Lohstroh, C. Shaver, A. Wasicek, and M. Weber, "A Vision of Swarmlets," IEEE Internet Computing, Special Issue on Building Internet of Things Software, vol. 19, no. 2, pp. 20-29, March 2015.
- D. Broman, M. Zimmer, Y. Kim, H. Kim, J. Cai, A. Shrivastava, S. A. Edwards, and E. A. Lee, "Precision Timed Infrastructure: Design Challenges," in Proceedings of the Electronic System Level Synthesis Conference (to appear). IEEE, 2013.
- S. Tripakis, C. Stergiou, C. Shaver, and E. A. Lee, "A modular formal semantics for Ptolemy," Mathematical Structures in Computer Science, vol. 23, pp. 834--881, Aug. 2013.
- J. Eidson, E. A. Lee, S. Matic, S. A. Seshia, and J. Zou, "Distributed Real-Time Software for Cyber-Physical Systems," Proceedings of the IEEE (special issue on CPS), vol. 100, no. 1, pp. 45 - 59, Jan. 2012.
- P. Derler, E. A. Lee, and A. L. Sangiovanni-Vincentelli, "Modeling Cyber-Physical Systems," Proceedings of the IEEE (special issue on CPS), vol. 100, no. 1, pp. 13 - 28, Jan. 2012.
- E. A. Lee and S. A. Seshia, Introduction to Embedded Systems - A Cyber-Physical Systems Approach, Berkeley, CA: LeeSeshia.org, 2011.
- S. Tripakis, B. Lickly, T. A. Henzinger, and E. A. Lee, "A Theory of Synchronous Relational Interfaces," ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 33, no. 4, July 2011.
- A. Goderis, C. Brooks, I. Altintas, E. A. Lee, and C. Gobel, "Heterogeneous Composition of Models of Computation," Future Generation Computer Systems (FGCS), vol. 25, no. 5, pp. 552-560, May 2009.
- E. A. Lee and E. Matsikoudis, "The semantics of dataflow with firing," in From Semantics to Computer Science: Essays in Honour of Gilles Kahn, Y. Bertot, G. Huet, J. J. Levy, and G. Plotkin, Eds., Cambridge, UK: Cambridge University Press, 2009, ch. 4.
- J. Zou, S. Matic, E. A. Lee, and P. Derler, "Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systems," in 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2009.
- X. Liu and E. A. Lee, "CPO semantics of timed interactive actor networks," Theoretical Computer Science 409, pp. 110-125, Dec. 2008.
- S. Forbes, H. Andrade, H. Patel, and E. A. Lee, "An Automated Mapping of Timed Functional Specification to A Precision Timed Architecture," in 12th IEEE International Symposium on Distributed Simulation and Real Time Applications, 2008.
Awards, Memberships and Fellowships
- EDAA Lifetime Achievement Award, 2022
- Honorary Doctorate, TU Wien, 2022
- ACM SIGBED Technical Achievement Award, 2022
- IEEE TCCPS Technical Achievement Award, 2019
- Berkeley Citation, 2018
- TCRTS Outstanding Technical Achievement and Leadership Award, 2016
- Electrical Engineering Award for Outstanding Teaching, 1999
- Frederick Emmons Terman Award of the Electrical and Computer Engineering Division, 1997
- Institute of Electrical & Electronics Engineers (IEEE) Fellow, 1994
- NSF Presidential Young Investigator (PYI), 1987
