homepage/index.html at main · edwardalee/homepage · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en-US" lang="en-US">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1" />
<title>Professor Edward A. Lee</title>
<meta name="Description" content="Personal Home Page" />
</head>
<style>
table {
  font-family: arial, sans-serif;
  border-collapse: collapse;
  width: 100%;
}
table.narrow {
  border: none;
  border-spacing: 2;
  padding: 2;
  width: 65%;
}
td, th {
  border: 1px solid #53747b;
  text-align: left;
  padding: 4px;
}
td.title {
    color: #772233;
    font-weight: bold;
    white-space: nowrap;
}
tr {
  background-color: #eef0ff;
}
tr.narrow {
  background-color: white;
}
td.narrow {
    border: none;
}
</style>
<body>
<!--#include virtual="top.html" -->
<table class="narrow">
<tr class="narrow">
<td width="175" class="narrow">
<!-- <img alt="" src="img/e_jbl_011304_softwalls217.jpg" width="336" height="220"></td>-->
<a href="images/eal22.jpg">
<img alt="" src="images/eal22_Small.jpg" width="175"></td>
</a>
<td class="narrow">
<b>Prof. Edward A. Lee</b><br>
Professor of the Graduate School<br>
Distinguished Professor Emeritus<br>
<a href="http://www.berkeley.edu/">University of California at Berkeley</a><br>
     <a href="http://www.eecs.berkeley.edu/">EECS Department</a><br>
545Q Cory Hall, Berkeley CA 94720-1770<br>
<!--
Chief Scientist
<a href="https://www.xronos.com">Xronos Inc.</a><br>
Berkeley, CA, USA<br>
Also:
Visiting Professor, M&auml;lardalen University, <a href="http://www.es.mdh.se/">Embedded Systems Group</a>, Sweden (Feb-Sep, 2018)
-->
      <p><!--<font face="Arial, Helvetica, sans-serif" size="2">-->
        Email: eal at berkeley.edu<br>
        Office hours: by appointment<br>
        <!-- Photo by <a href="http://www.rusi-ko.com/">Rusi Mchedlishvili</a><br> -->
</td>
</table>
<p>
<table>
<tr><td class="title">Book</td><td>Work in progress: <a href="books/DC/DeterministicConcurrency_Digital_01.pdf">Deterministic Concurrency</a>, incomplete book draft as of Jan. 4, 2026</td></tr>
<!--
<tr><td class="title">Paper</td><td>If you read just one of my papers, let it be <a href="https://dl.acm.org/doi/10.1145/3453652">Determinism</a>, May. 2021</td></tr>
<tr><td class="title">Honor</td><td><a href="honorarydegree.html">Honorary Doctorate in Computer Science</a>, TU Vienna, May, 2022</td></tr>
<tr><td class="title">Edited Book</td><td><a href="https://caiml.dbai.tuwien.ac.at/dighum/perspectives-on-digital-humanism/">Perspectives on Digital Humanism</a>, Nov. 2021</td></tr>
-->
<tr><td class="title">Book</td><td><a href="https://mitpress.mit.edu/books/coevolution"><i>The Coevolution: The Entwined Futures of Humans and Machines</i></a>. 2020.
<b>Now <a href="books/TheCoevolution.pdf">open access</a>!
<!--
(<a href="https://youtu.be/Rsss-zqFt8g">video overview</a>, <a href="https://newbooksnetwork.com/the-coevolution-the-entwined-futures-of-humans-and-machines">interview</a>, and <a href="books/TheCoevolution_Chapter14.pdf">sample chapter</a>) April 2021.
-->
</td></tr>
<!--
<tr><td class="title">Videos</td><td><a href="https://esweek.lf-lang.org">Tutorial on Lingua Franca</a>, Oct. 2021</td></tr>
<li><b style="color:red">New:</b>
Book published:
<i><a href="https://link.springer.com/book/10.1007/978-3-319-95246-8">Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday</a></i>,
Edited by Marten Lohstroh, Patricia Derler, and Marjan Sirjani,
Springer, LNCS, volume 10760, 2018.
</li>
-->
<tr><td class="title">Book</td><td><i><a href="http://platoandthenerd.org">Plato and the Nerd: The Creative Partnership of Humans and Technology</a></i>.
2017.
<b>Now <a href="pnerd/PlatoAndTheNerd.pdf">open access</a>!
<!--
<a href="https://www.podomatic.com/podcasts/technation/episodes/2017-12-07T04_27_52-08_00">NPR interview</a>, <a href="https://youtu.be/WBlWc6fJL_c">short</a> and <a href="https://youtu.be/Ts0iK1iuTK4">longer video</a>.
-->
</td></tr>
<tr><td class="title">Book</td><td><i><a href="http://leeseshia.org">Introduction to Embedded Systems: A Cyber-Physical Systems Approach</a></i>, 2017.</td></tr></table>
<p>
<table>
<tr class="narrow">
<td class="narrow">
<b>General Information</b>
<p>
<ul>
<li> <a href="research.html">Research</a>, <a href="news.html" target="body">News</a>, <a href="biog.html">Biography</a>, <a href="https://www.youtube.com/c/EdwardLeeAtBerkeley">YouTube channel</a>, <a href="EALresume.pdf">CV</a>, and <a href="teaching.html">Teaching</a>, <a href="viewpoints.html">Blog</a>.<!-- and <a href="reviews.html">Reviews</a>. --></li>
<li> <a href="publications.html">Complete publications</a> and <a href="topics.html">selected publications organized by topic</a>.</li>
<li> Media:
<a href="https://en.wikipedia.org/wiki/Edward_A._Lee">Wikipedia</a>,
<a href="https://www.linkedin.com/in/edward-lee-8b61195/">LinkedIn</a>.
<!--
<a href="https://www.facebook.com/edward.a.lee.12">Facebook</a>,
<a href="https://twitter.com/LeeEdwardA">Twitter</a> (@LeeEdwardA),
<a href="https://www.instagram.com/edward_ashford_lee/">Instagram</a>.
-->
</li>
<li> <a href="http://www.eecs.berkeley.edu/Faculty/Homepages/lee.html">Official department home page</a>.</li>
<li> <a href="visitors.html">Information for prospective visitors and/or interns</a>.</li>
<!--
<li> <a href="https://www.doradolist.com/edward-lee.html">Recommended books</a>.</li>
<li> <a href="http://chess.eecs.berkeley.edu/ptolemy">Information for members of my research group</a>.</li>
-->
</ul>
</p>
<b> Research Projects</b>
<p>
<ul>
<li><a href="https://lf-lang.org">Lingua Franca</a>, a coordination language for distributed real-time systems.
<li><a href="http://icyphy.org/"> The iCyPhy (Industrial Cyber-Physical Systems) Consortium</a>.</li>
<li><a href="http://ptolemy.eecs.berkeley.edu/"> The Ptolemy Project</a>: Research on model-based design.</li>
<!--<li><a href="http://terraswarm.org/"> The TerraSwarm Research Center</a>.</li>-->
<!--<li><a href="http://swarmlab.eecs.berkeley.edu/" target="_top">The Ubiquitous SwarmLab</a>.</li>-->
<!-- <li> <a href="http://chess.eecs.berkeley.edu">CHESS</a>: Center for Hybrid and Embedded Software Systems.</li>-->
<!-- <li><a href="http://CyberPhysicalSystems.org">Cyber-Physical Systems</a>: A research taxonomy.</li>-->
</ul>
</p>
<b> Software </b>
<p>
<ul>
<li><a href="https://lf-lang.org">Lingua Franca</a></li>
<li><a href="http://ptolemy.org/ptolemyII/">Ptolemy II</a></li>
</ul>
</p>
<b> Talks, Interviews, and Debates </b>
<p>
<ul>
<li> See <a href="news.html">News</a>
</ul>
<!--
<ul>
<li> <a href="https://newbooksnetwork.com/the-coevolution-the-entwined-futures-of-humans-and-machines">The Coevolution</a>, New books Network, with John Traphagan, April 2021.</li>
<li> <a href="https://futurespodcast.net/episodes/19-edwardalee">Virtual Futures</a>, with Luke Robert Mason, on Coevolution, July 2020.
<li> <a href="https://www.experian.com/blogs/news/datatalk/entwined-futures-of-humans/">Experian Global News Blog</a>, with Michael Delgado, on Coevolution, March 2020.</li>
<li> <a href="https://www.ciispod.com/#/nicole-sallak-anderson-and-edward-lee/">Cal. Inst. of Integrative Studies</a>, with Nicole Sallak Anderson, April 2019.</a>
<li> <a href="https://www.podomatic.com/podcasts/technation/episodes/2017-12-07T04_27_52-08_00">TechNation</a> with Moira Gunn, December 2017.</li>
<li> <a href="https://www.youtube.com/watch?v=D2qwj01c4kg&feature=youtu.be"> Virtual Futures</a>, with Luke Robert Mason, October 2017.</li>
<li> <a href="https://www.youtube.com/watch?v=4QLRfJ-fQKg&feature=youtu.be">Tech Talk</a>, on Swarm Boxes, <i>Semiconductor Engineering</i>, March 2015.</li>
<li> <a href="https://www.youtube.com/watch?v=f6Dh5NjlZMk&feature=youtu.be"> Sofware Patent Debate</a>, Computer History Museum, August 2011.</li>
</ul>
</p>
-->
</td>
<td width="120" class="narrow">
<a href="https://mitpress.mit.edu/books/coevolution"><img src="images/Lee_Coevolution_Cover.jpg" alt="The Coevolution Book cover"  width="110"></a>
<p>
<a href="http://platoandthenerd.org/"><img src="images/MIT_Lee_FinalCoverSmall.png" alt="Plato and the Nerd Book cover"  width="110"></a>
</p>
<a href="https://leeseshia.org"><img src="images/Cover_Digital_Ed2_MIT_Smaller.png" alt="cover"  width="110"></a>
</td>
</tr>
</table>
<!--
<p>
<b> Talks </b>
<p>
<ul>
<li>Tech Talk: "<a href="https://youtu.be/eDBOwr5iD3s">Decentralized Coordination in Federated Lingua Franca</a>," Lingua Franca weekly meeting, Nov. 8, 2024.</li>
<li>Keynote: "<a href="https://youtu.be/FF1oJVJWmfs">Certainty vs. Intelligence</a>", <a href="https://aisola.org">AISoLA</a>, Crete, Greece, Nov. 2, 2024.</li>
<li>Invited talk: <a href="https://www.youtube.com/live/yd4IcyS3_04">Certainty or Intelligence: Pick One!</a> Topos Institute, April 18, 2024 (also keynote at DATE, March 26, 2024)</li>
<li>SIGBED Distinguished Lecture: <a href="https://youtu.be/OA_GknXKe4g">Deterministic Concurrency in CPS</a>, June 15, 2023</li>
<li> Invited Talk, <a href="https://youtu.be/VbQPdTZjsZo">Trading off Consistency and Availability in Cyber-Physical Systems</a>, ISAE Toulouse, France, Jan 26, 2023</li>
<li> <a href="https://www.youtube.com/watch?v=Yv13-UPZNGE">Keynote: Do We Really Want Explainable AI?</a>, at <a href="https://saiconference.com/IntelliSys">Intelligent Systems</a>, Sep 1, 2022</li>
<li> Public Lecture: <a href="https://youtu.be/c3Cwu1BJVPs?t=1070">Limits of Machines, Limit of Humans</a>, Vienna, Austria, May 24, 2022</li>
<li> <a href="https://youtu.be/USW_G23ksSI">Science and Engineering for Cyber-Physical Systems</a>, Invited talk, <a href="https://sites.google.com/ensi-uma.tn/cyphysym">The Cyber and the Physical Symbiosis Workshop</a>, Tunis and Dresden,  Dec. 3, 2021</li>
<li> Creativity Talk Series: <a href="https://youtu.be/NQ80HFXEbcI">What Can We Learn about Creativity from Deep Neural Networks</a>, Porto (<a href="https://youtu.be/fvSTt1fLbYU">Q&A</a>),  Dec. 2, 2021</li>
<li> Invited Talk, <a href="https://youtu.be/WlQ8oXG1K8c">Time for All Programs, Not Just Real-Time Programs</a>, ISoLA, Rhodes, Greece,  Oct. 25, 2021</li>
<li> <a href="https://youtu.be/aTazoPeotcc">Keynote on Determinism</a>, <a href="https://www.ibm.com/blogs/academy-of-technology/events/">IBM PREVAIL 2021</a>, online, Oct. 20, 2021</li>
<li> <a href="https://youtu.be/F3ejsAoyEu8">Keynote on Consistency and Availability Tradeoffs</a>, <a href="http://ds-rt.com/2021/home">DS-RT</a>, Sep. 2021</li>
<li> <a href="https://youtu.be/Dm92rsguzzA">Keynote on Determinism</a>, <a href="https://rtcsa2021.github.io">RTCSA</a>, Aug. 2021.</li>
<li> <a href="https://youtu.be/f2ZUnymHLAE">Keynote on Coevolution</a>, Intelligent Environments (IE), June, 2021.</li>
<li> <a href="https://youtu.be/X-C_s8JUfbo">90-second Introduction to the Lingua Franca Project</a>, May, 2021.</li>
<li> <a href="https://youtu.be/FYAZyHf_Jbc">Verifying Parallel and Distributed Systems: The Observer Problem</a>, Plenary talk, <a href="https://ifm20.si.usi.ch/">Integrated Formal Methods (iFM)</a>, Nov. 2020.</li>
<li> <a href="https://youtu.be/_jbdWky4Iys">More Deterministic Software for Cyber-Physical Systems</a>, Keynote, <a href="http://fdl-conference.org/">Forum on Design Languages (FDL)</a> Kiel, German, Sep. 2020.y</li>
<li> <a href="https://youtu.be/gf7z-8eeJlo">The Coevolution of Humans and Machines</a>, Keynote, Conf. on Advanced Information Systems Engineering (CAiSE), Grenoble, France, June 2020.
<li> <a href="https://youtu.be/_alyDIiIjzo">The New Urgency of Digital Humanism As We Become Digital Humans</a>, Workshop on <a href="https://www.informatik.tuwien.ac.at/dighum/program-dighum-covid-19/">Digital Humanism</a>, May 2020.</li>
<li> <a href="https://youtu.be/Rsss-zqFt8g">Video introduction to book, <i>The Coevolution</i></a>, from online talk to the <a href="http://www.humanists.org/blog/2020-05-03/">Humanist Community of Silicon Valley</a>, May 2020.
<li> <a href="https://youtu.be/Bk0ST1ckAsI">Guest lecture about the current research in my group</a>, April 2020.</li>
<li> <a href="http://www.humanists.org/blog/2019-10-20">Vienna Manifesto on Digital Humanism</a>, Forum of the Humanist Community in Silicon Valley, Oct. 2019.</li>
<li> <a href="https://play.mdh.se/media/t/0_tvle844g">Models of Timed Systems</a>, M&auml;lardalens University, V&auml;ster&acirc;s, Sweden, Sep. 2018.</li>
<li> <a href="https://www.youtube.com/watch?v=WBlWc6fJL_c&feature=youtu.be"> Living in the Cyber-World: The Land of Humans and Artificial Intelligence</a>, TU Vienna, Dec. 2017.</li>
<li> <a href="https://youtu.be/ZX564BRcOdo">90-second talk on fundamental limits</a>, NSF CPS PI Meeting, Nov. 2017.</li>
<li> <a href="https://www.youtube.com/watch?v=jGQKj-USUOc&feature=youtu.be"> Resurrecting Laplace's Demon: The Case for Deterministic Models</a>, CS Distinguished Speaker Series, Univ. of Houston, Nov. 2017.</li>
<li> <a href="https://www.youtube.com/watch?v=Ts0iK1iuTK4&feature=youtu.be"> Plato and the Nerd: The Creative Partnership of Humans and Technology</a>, Noblis Technology Speaker Series, Oct. 2017.</li>
<li> <a href="https://www.youtube.com/watch?v=aBlgTeainy8&feature=youtu.be"> Symbiosis or Annihilation? How Humans and Technology Coevolve</a>, EECS Colloquium, UC Berkeley, Sep.  2017.</li>
<li> <a href="https://www.youtube.com/watch?v=23UL9DBG8w8&feature=youtu.be"> Accessors: An Open Architecture for the Internet of Things</a>, CoLab Tech Talks, Google, Mountain View, CA, Mar. 2017.</li>
<li> <a href="https://www.youtube.com/watch?v=_ZJIatQYqjw&feature=youtu.be"> Resurrecting Laplace's Demon: The Case for Deterministic Models</a>, MODELS Keynote, Saint Malo, France, Oct. 2016.</li>
<li> <a href="https://www.youtube.com/watch?v=G8aofqZxVZY&feature=youtu.be"> What Does 'Real Time' Mean?</a> Simons Institute, UC Berkeley, June 2016.</li>
<li> <a href="https://www.youtube.com/watch?v=V2CvSsvDXb4&feature=youtu.be"> The Internet of Important Things</a>, Reykjavik University, June 2016.</li>
<li> <a href="http://www.college-de-france.fr/site/gerard-berry/guestlecturer-2013-12-11-17h00.htm"> Cyber-Physical Systems: A Fundamental Intellectual Challenge</a>, College de France, Paris, Dec. 2013.</li>
<li> <a href="https://www.youtube.com/watch?v=pdhyniSDhZk&feature=youtu.be"> Cyber-Physical Systems (CPS) - A Rehash or A New Intellectual Challenge?</a> CEDA Distinguished Speaker Series, DAC, Austin TX, June 2013.</li>
<li> <a href="https://www.youtube.com/watch?v=O_0FDUsFXaY&feature=youtu.be"> Verifying Real-Time Software is Not Reasonable (Today)</a>, Haifa Verification Conference Plenary, Nov. 2012.</li>
<li> <a href="https://www.youtube.com/watch?v=VvnPJQ4h1Lg&feature=youtu.be"> Heterogeneous Actor Models</a>, Halmstad Colloquium, Halmstad, Sweden, Feb. 2012.</li>
<li> <a href="https://www.youtube.com/watch?v=4VxKyVyNtX4&feature=youtu.be"> Computers Everywhere: The Future Isn't What It Used To Be</a>, Cal Day, UC Berkeley, Apr. 2011.</li>
-->
<!-- Following link is broken:
<li> <a href="https://www.youtube.com/watch?v=OvhAaIov6xs&t=1s">Accessors: An Open Architecture for the Internet of Things</a>, Google, Mountain View, March 30, 2107.
-->
<!-- Following link is broken:
<li> <a href="http://wwwdi.supelec.fr/fb/SeminaireLee2013">Cyber-Physical Systems: A Rehash or A New Intellectual Challenge?</a>, Supelec, Paris, France, Dec. 10, 2013.
-->
<!-- EECS lost the video:
<li> <a href="http://netshow01.eecs.berkeley.edu/bears2005/Edward%20Lee.wmv">Embedded Software: Building the Foundations</a>, BEARS Conference, February 2005.
-->
</ul>
</p>
<!--#include virtual="bottom.html" -->
</body>
</html>