Professor Edward A. Lee

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
Office hours: by appointment
Photo by Rusi Mchedlishvili

Paper	If you read just one of my papers, let it be Determinism, May. 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

Research, News, Biography, YouTube channel, CV, and Teaching, Blog.
Complete publications, selected publications organized by topic, and position papers.
Media: Wikipedia, LinkedIn.
Official department home page.
Information for prospective visitors and/or interns.

Research Projects

Lingua Franca, a coordination language for distributed real-time systems.
The iCyPhy (Industrial Cyber-Physical Systems) Consortium.
The Ptolemy Project: Research on model-based design.

Software

Interviews and Debates

The Coevolution, New books Network, with John Traphagan, April 2021.
Virtual Futures, with Luke Robert Mason, on Coevolution, July 2020.
Experian Global News Blog, with Michael Delgado, on Coevolution, March 2020.
Cal. Inst. of Integrative Studies, with Nicole Sallak Anderson, April 2019.
TechNation with Moira Gunn, December 2017.
Virtual Futures, with Luke Robert Mason, October 2017.
Tech Talk, on Swarm Boxes, Semiconductor Engineering, March 2015.
Sofware Patent Debate, Computer History Museum, August 2011.

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.