| Nov 19-20 | Invited talk, Panel on Resilience and Sustainability (I am about 6 minutes in), Workshop on Digital Humanism, Vienna, Austria (online) |
| Nov 18 | Invited plenary talk: Verifying Parallel and Distributed Systems: The Observer Problem, Integrated Formal Methods (iFM), online |
| Oct 15 | Invited Talk, Deterministic Actors, in a Seminar Series organized by TU Dresden, Germany and Univ. of Manouba, Tunisia, online |
| Sep 15 | Keynote at FDL 2020 in Kiel, Germany, online |
| Sep 15 | Keynote at ASYDE 2020 in Amsterdam, online |
| Sep 9 | Chinese translation of Plato and the Nerd is released. |
| Jul 23 | Podcast interview by Luke Robert Mason on the Coevolution of Humans and Machines |
| Jun 10 | Video of Keynote on Coevolution at CAiSE 2020 in Grenoble, France |
| May 20 | Interview on The Coevolution, Rorotoko |
| May 20 | Online Invited talk, The Coevolution, Reykjavik University/Gran Sasso Science Institute |
| May 14 | Online Invited talk, The New Urgency of Digital Humanism As We Become Digital Humans, in Workshop on Digital Humanism: Informatics in Times of COVID-19, Vienna, Austria |
| May 3 | Video introduction to my book, from online talk to the Humanist Community of Silicon Valley |
| Apr 21 | Book Released:The Coevolution: The Entwined Futures of Humans and Machines, MIT Press |
| Apr 20 | Blog on coevolution published |
| Apr 16 | Video of a guest lecture covering current research in my group |
| Apr 14 | CANCELLED: Invited talk, Interaction vs. Observation (and Determinism and Free Will), Univ. of Bordeaux, France |
| Mar 31 | CANCELLED: Invited talk, A Personal View of Real-Time Computing, CEA Nano-Innov, Saclay, France |
| Mar 24 | CANCELLED: Invited talk, Intelligence and Computation: A Model-Based Design Perspective, IRT Saint Exupery, Toulouse, France |
| Mar 18 | Interview on Experian Global News Blog, with Michael Delgado, on The Entwined Futures of Humans and Machines. |
| Mar 12 | Invited talk, Using Time and Timestamps for Deterministic Distributed Software, KTH, Stockholm, Sweden |
| Mar 10 | Invited talk, Using Time and Timestamps for Deterministic Distributed Software, MDH, Västerås, Sweden |
| Feb 26 | Invited talk at Ecole Normale Superieure, Paris: A Personal View of Real-Time Computing |
| Feb 25 | Invited talk at Sorbonne Univerity, Paris: Reactors for Real-Time Systems |
| Feb 5 | Interview on Coevolution, Der Standard, Vienna, Austria (in German), online Feb. 10 |
| Feb 6 | Invited talk the ISAE, Toulouse, France: Using Timestamps for Deterministic Distributed Software |
| Feb 5 | Invited talk the LAAS, Toulouse: The Coevolution of Humans and Machines, "Penser les technosciences" series |
| 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 |
| Jan 7 | Started a four month sabbatical in France, headquartered in Paris |
| Dec 18 | Invited talk in Digital Humanism series: The Coevolution of Humans and Machines, Vienna, Austria |
| Dec 16-17 | International Advisory Board, TU Vienna, Computer Science |
| Dec 7 | Keynote at Embedded AI Summit in Shenzhen, China |
| Oct 29 | Invited Talk: Actors Revisited for Predictable Systems, Dagstuhl, Germany |
| Oct 20 | Invited talk about the Vienna Manifesto on Digital Humanism at the Humanist Community in Silicon Valley |
| Oct 17-18 | Invited talk at Model-Based Design of Cyber-Physical Systems (CyPhy), New York |
| Oct 9-11 | Keynote at MEMOCODE, San Diego |
| Sep 23-26 | Keynote at the sel4 Summit, Virginia |
| Sep 2 | Panel on Systems of Systems Engineering: Where will we be in the next 20 years? at FDL in Southampton, UK |
| Aug 29 | Podcast on Coevolution of AI and Humans published |
| Jun 5 | Invited talk for DAC Special Session on time-critical systems design, Las Vegas |
| Jun 4 | Presented with IEEE Technical Committee on Cyber-Physical Systems (TCCPS) Technical Achievement Award |
| May 28 | Vienna Manifesto on Digital Humanism is published |
| May 28 | Keynote at the Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS), Montreal, Canada |
| May 3 | Invited talk, Software Certification Consortium (SCC): Deterministic Modeling of Uncertain Systems: Implications for Certification |
| Apr 25 | Conversation: "The Co-Evolution of Humans and Technology," Cal. Inst. of Integral Studies, San Francisco |
| Apr 22 | Distinguished lecture at George Washington University, ECE Department: A Personal View of Real-Time Computing |
| Apr 19 | Distinguished lecture at Boston University, CISE: A Personal View of Real-Time Computing |
| Apr 16 | Keynote: Freedom From Choice and the Power of Models, International Symposium on Physical Design (ISPD), San Francisco |
| Apr 9 | Academic Keynote "Intelligence and Computation," Embedded Systems Innovation (ESI) Symposium, at TU Eindhoven |
| Apr 4-5 | Co-organized Vienna Workshop on Digital Humanism (DIGHUM), TU Vienna |
| Apr 2 | Talk at INRIA, Grenoble, France: "A Personal View of Real-Time Computing" |
| Apr 1 | Talk at Verimag, Grenoble, France: "Living Digital Beings" |
| Mar 28 | Keynote, "A Fundamental Look at Models and Intelligence," DATE 2019, Florence, Italy |
| Mar 26 | Keynote, "Observation and Interaction," Language and Automata Theory and Applications (LATA), St. Petersburg, Russia |
| Mar 25 | Invited talk, ITMO University in St. Petersburg: "Actors Revisited for Timing-Critical Systems" |
| Mar 21 | Invited talk, TU Eindhoven, "Actors Revisited for Timing-Critical Systems" |
| Mar 20 | Keynote, ICT.OPEN 2019, "Living Digital Beings," Hilversum, the Netherlands |
| Mar 3-8 | Invited talk: "Actor-Oriented Models of Computation for Predictable Interconnected Systems," Dagstuhl, Germany |
| Feb 14 | Organized iCyPhy Mini Workshop, Berkeley, CA |
| 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 |
| Jul 19 | Book published: Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday,
Springer |
| Jul 19 | Proposal to NSF approved for funding: Reconciling Safety with the Internet for Cyber-Physical Systems |
| Jul 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 |
| Jun 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 31 | "Retired," becoming Prof. in the Graduate School and Prof. Emeritus. Continuing full-speed ahead with a focus on research |
| Dec 9 | Program Committee Meeting for RTAS 2018, Paris, France |
| Dec 7 | Radio Interview, Tech Nation, NPR, on Plato and the Nerd |
| Dec 6 | Invited Award Speech, A Personal View of Real-Time Computing, RTSS, Paris, France |
| Dec 5 | Tutorial on CapeCode, at the TuToR Workshop associated with RTSS, Paris, France |
| Dec 4 | Invited talk and Panel Discussion on Living in the Cyber World: The Land of Humans and Artificial Intelligence, Vienna, Austria |
| Nov 8 | Invited Talk: Plato and the Nerd, Microsoft Tech Talk Series, Sunnyvale, CA |
| Oct 31 | Invited Talk: Plato and the Nerd, Noblis Technology Speaker Series, In partnership with Hooks Book Events, Reston VA |
| Oct 15 | Keynote: Living Digital Things, at IEEE Int. Conf. on Collaboration and Internet Computing (CIC) |
| Oct 13 | Edward A. Lee Festchrift Symposium, The Berkeley City Club |
| Oct 11 | Video of introductory talk and demo at the final annual meeting of the TerraSwarm research center |
| Oct 6 | Book event at Chatham House in London (includes audio recording) |
| Oct 5 | Interview (see video) by Luke Robert Mason, Director of Virtual Futures, The LIBRARY Club, London |
| Oct 3-4 | Serving on the International Committee for Scientific and Strategic Orientation for the College de France, Paris, France |
| Sep 27 | Invited talk (see video), EECS Department Colloquium, UC Berkeley: "Symbiosis or Annihilation? How Humans and Technology Coevolve." |
| Sep 22 | Invited talk (see video), CS Department Colloquium, University of Houston: "Resurrecting Laplace's Demon: The Case for Deterministic Models." |
| Sep 21 | Invited talk, CS Department Colloquium, Rice University: "Resurrecting Laplace's Demon: The Case for Deterministic Models." |
| Sep 19 | Blog re-post:
Coevolution of Human and Artificial Intelligences |
| Sep 3 | New book for a general audience is shipping: Plato and the Nerd: The Creative Partnership of Humans and Technology |
| Sep 3 | Blog post:
Coevolution of Human and Artificial Intelligences |
| Aug 30 | Keynote talk: “Resurrecting Laplace's Demon: The Case for Deterministic (Timing) Models,” ISPCS, Monterey, CA |
| Jul 15 | Blog post: Information Apocalypse |
| Jun 30 | Updated my art page |
| Jun 27 | Position paper accepted: What Is Real Time Computing? A Personal View, to appear in IEEE Design & Test, 2017 |
| Jun 20 | Blog post: Are Real Numbers Real? |
| Jun 17 | Blog post: Is Engineering Top-Down Intelligent Design? |
| May 22 | Book announcement, my first for a general audience: Plato and the Nerd: The Creative Partnership of Humans and Technology, MIT Press, Fall 2017 |
| Apr 28 | Dissertation talk, by my PhD student Hoken Kim, on Locally Centralized, Globally Distributed Authentication and Authorization for IoT, Berkeley, CA |
| Apr 25-26 | Invited talk: "Resurrecting Laplace's Demon: The Case for Deterministic Models," KTH Royal Institute of Technology, Stockholm, Sweden |
| Apr 22 | Invited talk: “Fundamental Limits of Cyber-Physical and Hybrid System Modeling,” at Symbolic and Numerical Methods for Reachability Analysis (SNR), collocated with European Joint Conferences on Theory and Practice of Software (ETAPS) in Uppsala, Sweden |
| Apr 20 | Best paper award, "A Toolkit for Construction of Authorization Service Infrastructure for the Internet of Things," by Hokeun Kim, Eunsuk Kang, Edward A. Lee, and David Broman, Int. Conf. on Internet-of-Things Design and Implementation (IoTDI), Pittsburgh, PA, USA, April 18-21, 2017 |
| Apr 20 | Invited talk, "Resurrecting Laplace's Demon: The Case for Deterministic Models," Mälardalen University, Västerås, Sweden |
| Mar 30 | Invited talk, "Accessors: An Open Architecture for the Internet of Things," Google, Mountain View. (see video) |
| Mar 14 | Presented the new iCyPhy, Industrial Cyber-Physical Systems Research Center, at Tokyo SwarmLab event |
| Jan 26 | Invited talk: "Resurrecting Laplace's Demon: The Case for Deterministic Models," Distinguished Lecture Series, Computer and Information Science Department, University of Pennsylvania |
| 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 |
| Jul 29 | Invited talk, "Fundamental Limits of Cyber-Physical Systems Modeling," Symposium honoring Janos Sztipanovits, Nashville, TN |
| Jul 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 |
| Jun 28 | Invited talk, "What Does ‘Real Time’ Mean?" Workshop on Real-Time Decision Making, Simons Institute, Berkeley, CA |
| Jun 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 |
| Nov 11 | Invited talk, Fundamental Limits of Cyber-Physical Systems Modeling, ECE/CSE Departments, Univ. of Connecticut, Storrs, CT |
| Nov 9 | Plenary talk at the Int. Conf. on Complex Systems Engineering (ICCSE), Better Engineering Through Better Models, Storrs, CT |
| Nov 6 | Invited talk, The Internet of Important Things, U. of Sao Paulo, Brazil |
| Nov 3 | Keynote talk at the International Embedded Systems Symposium (IESS), The Internet of Important Things, Foz do Iguacu, Brazil |
| Oct 6 | Invited talk at EMSOFT, ES Week, Amsterdam on CyPhySim |
| Sep 14-16 | Chaired Visiting Committee to evaluate the Computer Science Department at the National University of Singapore |
| Sep 11 | Keynote talk at Software Engineering and Formal Methods (SEFM), York, England |
| Aug 3 | Published Second Edition of Lee and Seshia, Intro. to Embedded Systems.
|
| Jul 1 | Started a one-year sabbatical |
| Jun 7 | Keynote talk on "Controlling Timing vs. Measuring Timing" at the
Workshop on Suite of Embedded Applications and Kernels (SEAK) at DAC, San Francisco |
| May 27-29 | Organized and led the TerraSwarm Programming the Swarm Workshop, Berkeley |
| Apr 29 | Keynote talk on "The Internet of Important Things" at Time Sensitive Networks and Applications (TSNA), Santa Clara |
| Apr 16 | Published paper on Requirements for Hybrid Cosimulation Standards at HSCC, CPS Week, Seattle |
| Apr 15 | Demo'd a first version of CyPhySim at CPS Week in Seattle. See the abstract (demo given by Christopher Brooks) |
| Mar 27 | Keynote talk at TexasWISE: Better Engineering Through Better Models |
| Mar 19 | Lack of Effective Timing Signals Could Hamper IoT Development, NIST newsletter and white paper |
| Mar 18 | Video interview in Semiconductor Engineering, on the Internet of Important Things and the role of the Immobiles |
| Mar 17 | Keynote talk at ASPLOS (Architectural Support for Programming Languages and Operating Systems) in Istanbul, Turkey |
| Mar 5 | First paper on the Accessor design pattern for IoT published in IEEE Internet Computing "A Vision of Swarmlets." |
| Feb 27 | Invited talk Connecting the Cloud to Things at the IAP Berkeley Workshop on the Future of Cloud Computing. |
| Feb 26 | Manifesto on determinism published in Sensors, an open-access journal: "The Past, Present, and Future of Cyber-Physical Systems: A Focus on Models." |
| Jan 20 | Key paper led by my postdoc Eleftherios Matsikoudis accepted to Theoretical Computer Science |
| Jan 20 | My graduate course Embedded System Design starts |
| Jan 16-17 | Test Bed Workshop for the TerraSwarm Project |
| Jan 14-15 | SwarmLab Retreat happening in Napa Valley |
| Jan 1 | Partially updated my art page |
