MAP |

News about Edward A. Lee

Upcoming 2020

  • Jun 8-12: Keynote at CAiSE 2020 in Grenoble, France
  • Jan 31: Lecture at SETI: Introduction to Lingua Franca, Universite Paris-Saclay, France.
  • Jan 30: Lecture at COMASIC: Concurrent Models of Computation, Saclay, France.
  • Jan 24: Lecture at SETI: Precision Timed Microprocessors, Universite Paris-Saclay, France.
  • Jan 23: Lecture at COMASIC: Model-Based Design of Cyber-Physical Systems, Saclay, France.
  • Upcoming 2019

    • Dec. 18: Invited talk: The Coevolution of Humans and Machines, Vienna Series on Digital Humanism, Vienna, Austria.
    • Dec 16-17: International Advisory Board, TU Vienna, Computer Science.
    • Dec. 7: Keynote at Embedded AI Summit in Shenzhen, China.

    2019

    2018

    • 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

    2017

    2016

    • 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.

    2015

    2014

    2013

    • 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

    2012

    • 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
    • ...