Prof. Edward A. Lee Professor of the Graduate School Robert S. Pepper Distinguished Professor Emeritus University of California at Berkeley EECS Department 545Q Cory Hall, Berkeley CA 94720-1770
Email: eal at berkeley.edu or eal at xronos.com |
Paper | If you read just one of my papers, let it be Determinism, May. 2021 |
Edited Book | Perspectives on Digital Humanism, Nov. 2021 |
Book | The Coevolution: The Entwined Futures of Humans and Machines. 2020. Now open access! |
Book | Plato and the Nerd: The Creative Partnership of Humans and Technology. 2017. Now open access! |
Book | Introduction to Embedded Systems: A Cyber-Physical Systems Approach, 2017. |
General Information
Interviews and Debates
|
Talks
- Tech Talk: "Decentralized Coordination in Federated Lingua Franca," Lingua Franca weekly meeting, Nov. 8, 2024.
- Keynote: "Certainty vs. Intelligence", AISoLA, Crete, Greece, Nov. 2, 2024.
- Invited talk: Certainty or Intelligence: Pick One! Topos Institute, April 18, 2024 (also keynote at DATE, March 26, 2024)
- SIGBED Distinguished Lecture: Deterministic Concurrency in CPS, June 15, 2023
- Invited Talk, Trading off Consistency and Availability in Cyber-Physical Systems, ISAE Toulouse, France, Jan 26, 2023
- Keynote: Do We Really Want Explainable AI?, at Intelligent Systems, Sep 1, 2022
- Public Lecture: Limits of Machines, Limit of Humans, Vienna, Austria, May 24, 2022
- Science and Engineering for Cyber-Physical Systems, Invited talk, The Cyber and the Physical Symbiosis Workshop, Tunis and Dresden, Dec. 3, 2021
- Creativity Talk Series: What Can We Learn about Creativity from Deep Neural Networks, Porto (Q&A), Dec. 2, 2021
- Invited Talk, Time for All Programs, Not Just Real-Time Programs, ISoLA, Rhodes, Greece, Oct. 25, 2021
- Keynote on Determinism, IBM PREVAIL 2021, online, Oct. 20, 2021
- Keynote on Consistency and Availability Tradeoffs, DS-RT, Sep. 2021
- Keynote on Determinism, RTCSA, Aug. 2021.
- Keynote on Coevolution, Intelligent Environments (IE), June, 2021.
- 90-second Introduction to the Lingua Franca Project, May, 2021.
- Verifying Parallel and Distributed Systems: The Observer Problem, Plenary talk, Integrated Formal Methods (iFM), Nov. 2020.
- More Deterministic Software for Cyber-Physical Systems, Keynote, Forum on Design Languages (FDL) Kiel, German, Sep. 2020.y
- The Coevolution of Humans and Machines, Keynote, Conf. on Advanced Information Systems Engineering (CAiSE), Grenoble, France, June 2020.
- The New Urgency of Digital Humanism As We Become Digital Humans, Workshop on Digital Humanism, May 2020.
- Video introduction to book, The Coevolution, from online talk to the Humanist Community of Silicon Valley, May 2020.
- Guest lecture about the current research in my group, April 2020.
- Vienna Manifesto on Digital Humanism, Forum of the Humanist Community in Silicon Valley, Oct. 2019.
- Models of Timed Systems, Mälardalens University, Västerâs, Sweden, Sep. 2018.
- Living in the Cyber-World: The Land of Humans and Artificial Intelligence, TU Vienna, Dec. 2017.
- 90-second talk on fundamental limits, NSF CPS PI Meeting, Nov. 2017.
- Resurrecting Laplace's Demon: The Case for Deterministic Models, CS Distinguished Speaker Series, Univ. of Houston, Nov. 2017.
- Plato and the Nerd: The Creative Partnership of Humans and Technology, Noblis Technology Speaker Series, Oct. 2017.
- Symbiosis or Annihilation? How Humans and Technology Coevolve, EECS Colloquium, UC Berkeley, Sep. 2017.
- Accessors: An Open Architecture for the Internet of Things, CoLab Tech Talks, Google, Mountain View, CA, Mar. 2017.
- Resurrecting Laplace's Demon: The Case for Deterministic Models, MODELS Keynote, Saint Malo, France, Oct. 2016.
- What Does 'Real Time' Mean? Simons Institute, UC Berkeley, June 2016.
- The Internet of Important Things, Reykjavik University, June 2016.
- Cyber-Physical Systems: A Fundamental Intellectual Challenge, College de France, Paris, Dec. 2013.
- Cyber-Physical Systems (CPS) - A Rehash or A New Intellectual Challenge? CEDA Distinguished Speaker Series, DAC, Austin TX, June 2013.
- Verifying Real-Time Software is Not Reasonable (Today), Haifa Verification Conference Plenary, Nov. 2012.
- Heterogeneous Actor Models, Halmstad Colloquium, Halmstad, Sweden, Feb. 2012.
- Computers Everywhere: The Future Isn't What It Used To Be, Cal Day, UC Berkeley, Apr. 2011.