![]() |
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 |
Video | The New Urgency of Digital Humanism As We Become Digital Humans, May 14, 2020 |
New Book | The Coevolution: The Entwined Futures of Humans and Machines (video overview and interview) April 2020. |
Video | Guest lecture about the current research in my group, April 2020. |
Book | Plato and the Nerd: The Creative Partnership of Humans and Technology. NPR interview, short and longer video. 2017. |
General Information
|
![]() |
Talks Available On-Line
- Verifying Parallel and Distributed Systems: The Observer Problem, Invited plenary talk at Integrated Formal Methods (iFM), Nov. 18, 2020
- More Deterministic Software for Cyber-Physical Systems, Keynote talk at FDL 2020 in Kiel, Germany
- The Coevolution of Humans and Machines, Keynote at Int. Conf. on Advanced Information Systems Engineering (CAiSE), Grenoble, France, June 10, 2020.
- The New Urgency of Digital Humanism As We Become Digital Humans, in Workshop on Digital Humanism: Informatics in Times of COVID-19, May 14, 2020
- Video introduction to book, The Coevolution, from online talk to the Humanist Community of Silicon Valley, May 3, 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. 10, 2019.
- Models of Timed Systems, Mälardalens University, Västerâs, Sweden, Sep. 26, 2018.
- Living in the Cyber-World: The Land of Humans and Artificial Intelligence, TU Vienna, Dec. 4, 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. 8, 2017.
- Plato and the Nerd: The Creative Partnership of Humans and Technology, Noblis Technology Speaker Series, Oct. 31, 2017.
- Symbiosis or Annihilation? How Humans and Technology Coevolve, EECS Colloquium, UC Berkeley, Sep. 27, 2017.
- Accessors: An Open Architecture for the Internet of Things, CoLab Tech Talks, Google, Mountain View, CA, Mar. 30, 2017.
- Resurrecting Laplace's Demon: The Case for Deterministic Models, MODELS Keynote, Saint Malo, France, Oct. 5, 2016.
- What Does 'Real Time' Mean? Simons Institute, UC Berkeley, June 28, 2016.
- The Internet of Important Things, Reykjavik University, June 16, 2016.
- Cyber-Physical Systems: A Fundamental Intellectual Challenge, College de France, Paris, France, Dec. 11, 2013..
- Cyber-Physical Systems (CPS) - A Rehash or A New Intellectual Challenge? CEDA Distinguished Speaker Series, DAC, Austin TX, June 4, 2013.
- Verifying Real-Time Software is Not Reasonable (Today), Haifa Verification Conference Plenary, Nov. 6, 2012.
- Heterogeneous Actor Models, Halmstad Colloquium, Halmstad, Sweden, Feb. 10, 2012.
- Computers Everywhere: The Future Isn't What It Used To Be, Cal Day, UC Berkeley, Apr. 20, 2011.
- Podcast interview by Luke Robert Mason on the Coevolution of Humans and Machines, July 23, 2020.
- Interview on Experian Global News Blog, with Michael Delgado, on The Entwined Futures of Humans and Machines, March 18, 2020.
- Coevolution of AI and Humans, Cal. Inst. of Integrative Studies, April 25, 2019.
- TechNation, with Moira Gunn, December 7, 2017.
- Virtual Futures, with Luke Robert Mason, October 8, 2017.
- Tech Talk: Swarm Boxes, Semiconductor Engineering, March 18, 2015.
- Sofware Patent Debate, Computer History Museum, August 30, 2011.