News about Edward A. Lee

Upcoming 2019



  • Dec. 18: Keynote at Cognitive Computing, "Is Cognition Digital and Computational?" Herrenhausen Palace, Hannover, Germany
  • Dec. 11-14: Invited talk at New Directions In Software Technology (NDIST), "Is General Intelligence Digital and Computational?" O'ahu, Hawaii.
  • Nov. 8-9: International Advisory Board, TU Vienna, Computer Science.
  • Oct. 24: Chinese translation of Lee & Seshia book starts shipping.
  • Oct. 23: Invited talk, Int. Conf. on the Industrial Internet (ICII), Seattle, WA :Deterministic Timing for the Industrial Internet of Things
  • Oct. 10: Keynote at FACS (Formal Aspects of Component Software), Pohang, Korea: What Good are Models?
  • Oct. 8: Invited talk, Seoul National University, Seoul, Korea: What Good Are Models? A Focus on Cyber-Physical Systems
  • Sep. 26: Invited talk, Mälardalen University, Västerås, Sweden: Models of Timed Systems
  • Sep. 24: Invited talk, Chalmers University, Gothenburg, Sweden: Actor-based Modeling Patterns for Flow Management (with Marjan Sirjani)
  • Sep. 21: Invited talk at Halmstad University, Sweden: Is Humanity Defining Technology? Or is Technology Defining Humanity?
  • Sep. 7: Invited talk, Northwestern Polytechnic University, Xi'an, China: A Personal View of Real-Time Computing, School of Computer Science
  • Sep. 4: Invited talk, FORMATS 2018, Beijing, China: Models of Timed Systems
  • Aug. 23: Plato and the Nerd becomes available as a Paperback
  • Aug. 1: Chinese translation of Ptolemy book starts shipping.
  • July 19: Book published: Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, Springer, LNCS, volume 10760.
  • July 19: Proposal to NSF approved for funding: Reconciling Safety with the Internet for Cyber-Physical Systems.
  • July 15: Paper selected as a best SoSyM paper over the past year to be presented in a special session at MODELS 2018 in Copenhagen, Denmark.
  • June 24: Invited talk, Workshop on Design Automation for Cyber-Physical Systems (DACPS), San Francisco: A Component Architecture for the Internet of Things
  • May 25: Invited talk: Summer School on Formal Techniques, Atherton, CA: What Good Are Formal Models?
  • May 15: Plato and the Nerd becomes available as an Audio Book
  • May 10: Invited talk: Software Certification Consortium (SCC), Annapolis, MD: Assuring Models: What Good is That?
  • May 2: Invited talk (see video), IDT Open Seminar, Mälardalen University, Västerås, Sweden: Symbiosis or Annihilation: A philosophical look at Artificial Intelligence
  • Apr. 27: Invited talk, Workshop on Time-Sensitive Networks, Mälardalen University, Västerås, Sweden: TSN as a Game Changer for Cyber-Physical Systems
  • Apr. 25: Invited talk, DPAC Summit, Mälardalen University, Västerås, Sweden: Living Digital Things
  • Apr. 19: Keynote in "Coffee with an Expert" series, KTH, ICES, Stockholm, Sweden.
  • Apr. 17: Participated in NSF/DOD/NIST Modeling & Simulation in Robotics Workshop, Gaithersburg, MD.
  • Apr. 2: Invited keynote talk: Global IoT Conference, Santa Clara, CA: Accessors: A Software Architecture for IoT
  • Feb. 23: Received Honorary Professorship from Amity University, Noida, India.
  • Feb. 22: Invited talk, SPIN, Noida, India: A Personal View of Real-Time Computing
  • Feb. 8: Received The Berkeley Citation
  • Feb. 1: Started a 25% Visiting Professor position at Mälardalen University.
  • Jan. 30: CafeX Series of Fireside Chats with Dean Ishwar Puri, McMaster University, Hamilton, Ontario, Canada: Symbiosis or Annihilation? How Humans and Technology Coevolve
  • Jan. 29: Distinguished Lecture in the Department of Computing and Software at McMaster University, Hamilton, Ontario, Canada: Resurrecting Laplace's Demon: The Case for Deterministic Models



  • Dec. 11-12: Serving on International External Advisory Board, Faculty of Informatics, TU Vienna, Vienna, Austria.
  • Dec. 9: Invited talk: "Accessors: A Software Architecture for the Internet of Things," Fortiss - An-Institut of TU Munich, Munich, Germany.
  • Dec. 8: Keynote: "Resurrecting Laplace's Demon: The Case for Deterministic Models," Synchron, Bamberg, Germany.
  • Dec. 4: Book released by MIT Press: Lee and Seshia, Introduction to Embedded Systems, A Cyber-Physical Systems Approach, 2017.
  • Nov. 9: Keynote: "Dependable Cyber-Physical Systems," Symposium on Dependable Software Engineering (SETTA), Beijing, China.
  • Oct. 17: Award: selected for the Outstanding Technical Achievement and Leadership Award, the highest award given by the IEEE Technical Committee on Real-Time Systems (TCRTS).
  • Oct. 4: Keynote talk: (see video) "Resurrecting Laplace's Demon: The Case for Deterministic Models," MODELS, St. Malo, France.
  • Sep. 20: Keynote talk: "The Internet of Important Things," IEEE Sarnoff Symposium, Newark, NJ.
  • Sep. 7: Plenary talk: "The Internet of Important Things," IEEE System-on-Chip Conference (SOCC), Seattle, WA.
  • Aug. 25: Class starts: Introduction to Embedded Systems, EECS 149/249A.
  • July 29: Invited talk, "Fundamental Limits of Cyber-Physical Systems Modeling," Symposium honoring Janos Sztipanovits, Nashville, TN.
  • July 10: Keynote talk, "The Internet of Important Things," International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES), Fiuggi, Italy.
  • June 28, Invited talk, "What Does ‘Real Time’ Mean?" Workshop on Real-Time Decision Making, Simons Institute, Berkeley, CA.
  • June 16: Invited talk, "The Internet of Important Things," CRESS event - School of Computer Science, Reykjavik University, Iceland.
  • May 17: Keynote, "Resurrecting Laplace's Demon: The Case for Deterministic Models," Workshop on Modelling in Software Engineering (MiSE’2016), Austin, TX.
  • May 16: Panel, NXP Influencers Summit- IoT Security Panel, Austin TX. Co-located with ICSE 2016
  • Apr. 18: Invited talk, "The Internet of Important Things," Airbus Lecture Series, Toulouse, France.
  • Apr. 15: Invited talk, "Determinism: Resurrecting Laplace’s Demon," Workshop on Game Changing and Controversial Topics in Cyber-Physical Systems, Budapest, Hungary.
  • Apr. 13: Keynote talk, "Embedded Intelligent systems," ARTEMIS Spring Event, Vienna.
  • Apr. 11: Invited talk, "The challenges of doing multidisciplinary research, particularly in cyber-physical systems," IPSN PhD Forum, CPS Week, Vienna.
  • Apr. 6: Best paper award, Akkay et. al, "Control Improvisation with Probabilistic Temporal Specifications", IoTDI, Berlin.
  • Apr. 4: Invited talk, "Resurrecting Laplace's Demon: The Case for Deterministic Models for Cyber-Physical Systems," USC CPS Lecture Series, Los Angeles.
  • Apr. 1: Paper accepted to ACM Trans. on CPS: "Fundamental Limits of Cyber-Physical Systems Modeling."
  • Feb. 25: Quoted extensively in an article in Semiconductor Engineering on what makes a good designer.
  • Feb. 5: Invited talk, UC Irvine EECS Lecture Series, The Internet of Important Things.
  • Jan. 27: Keynote Talk, The Internet of Important Things at ERTS, Toulouse.
  • Jan. 20: Invited talk, IoT and CPS: A Focus on Modeling, US-German Workshop on IoT and CPS, Washington DC.
  • Jan. 11: Invited talk, Accessors: An Open Architecture for the Internet of Things, IFIP WG 10.4 Meeting and Workshop on Internet of Things, Aspen, CO.




  • Dec. 11: Invited talk at the College de France
  • Nov. 5-6: TerraSwarm annual meeting
  • Sept. 27: Published Ptolemy book
  • Sept. 10: Keynote at Emerging Technologies & Factory Automation (ETFA) Cagliari, Italy
  • June 4: CEDA distinguished speaker series talk at DAC, Austin, Texas


  • Dec. 4: Keynote talk at RTSS, San Juan, Puerto Rico
  • Nov. 6: Plenary talk at the Haifa Verification Conference (HVC), Haifa, Israel
  • Oct. 11: Keynote talk at the Workshop on Embedded and Cyber-Physical Systems Education (WESE), Tampere, Finland
  • Oct. 5: Education Keynote at the NSF PI Meeting, Maryland
  • Sept. 26: Keynote Talk at ISPCS, South San Francisco
  • July 19: Keynote talk at SAMOS, Samos, Greece
  • May 6: Plenary talk at the Software Certification Consortium (SCC) Workshop at HCSS, Annapolis, MD
  • March 20: Plenary talk at PerMIS, Maryland
  • Feb. 8: Keynote talk at MODPROD
  • ...