Nov 8 | Video: "Decentralized Coordination in Federated Lingua Franca," Lingua Franca weekly meeting. |
Nov 12 | Keynote: "Certainty or Intelligence: Pick One!", GENZERO Workshop, Abu Dhabi |
Nov 8 | Video: "Trading off Consistency and Availability using Lingua Franca," Mulligan's Stew. |
Nov 7 | Paper (led by Erling Jellum): "Codesign of Reactor-Oriented Hardware and Software for Cyber-Physical Systems" |
Nov 6 | Translation to Persian of, Perspectives on Digital Humanism |
Nov 2 | Keynote: "Certainty vs. Intelligence", AISoLA, Crete, Greece |
Sep 20 | Paper (led by Francesco Paladino): "Layered Scheduling: Toward Better Real-Time Lingua Franca", IEEE Embedded Systems Letters. |
Sep 20 | Paper (led by Ben Asch): "Software-Defined Watchdog Timers for Cyber-Physical Systems", IEEE Embedded Systems Letters. |
Sep 20 | Paper (led by Chadlia Jerad): "Toward Dynamism in Distributed Lingua Franca Programs", IEEE Embedded Systems Letters. |
Aug 30 | Paper (led by Marten Lohstroh): "Deterministic Coordination across Multiple Timelines", ACM TECS. |
Jun 17 | Paper (led by Jacky Kwok): "Efficient Parallel Reinforcement Learning Framework Using the Reactor Model", SPAA. |
Jun 10 | Invited Talk: "Trading off Consistency and Availability in Cyber-Physical Systems", INRIA, Grenoble, France |
May 20 | Paper: "Strongly-Consistent Distributed Discrete-event Systems", arXiv |
Apr 18 | Invited Talk: "Certainty or Intelligence: Pick One!", Topos Institute Colloquium, Online |
Mar 26 | Keynote: "Certainty or Intelligence: Pick One!", DATE/ASD, Valencia, Spain |
Jan 1 | New position: Chief Scientist and Co-Founder, Xronos Inc. |
Jun 17 | Paper (led by Alex Schulz-Rosengarten): "Behavior Trees", ICSE. |
Nov 16-17 | Invited talk: "Rational Machines?", Digital Humanism Conference, Vienna, Austria |
Nov 2 | German translation of two chapters of my book, The Coevolution released |
Oct 23-28 | Keynote: "Deep Neural Networks, Explanations, and Rationality," AISoLA, Crete, Greece |
Sep 25 | Keynote: "Trading off Consistency and Availability in Distributed Cyber-Physical Systems", EWSN, U. of Calabria, Rende, Italy |
Sep 21 | Keynote: Deterministic Concurrency in Cyber-Physical Systems, MEMOCODE, Hamburg, Germany |
Sep 19 | Paper presentation: "Trading off Consistency and Availability in Cyber-Physical Systems," EMSOFT, Hamburg, Germany |
Sep 19 | Test of Time Award, for CASES 2008 paper on PRET |
Sep 18 | Paper presentation (by Shaokai Lin): "Towards Building Verifiable CPS using Lingua Franca," EMSOFT, Hamburg, Germany |
Sep 14 | Education Session for ESWEEK on Deterministic Concurrent and Distributed Systems, Online |
Sep 12 | Ponencia Invitata: Redes Neuronales, Explicaciones, y Racionalidad (video), SISTEDES 2023, Ciudad Real, Spain |
Sep 6 | Summer School: Deep Neural Networks, Explanations, and Rationality (video), Vienna, Austria |
Aug 18 | Embedded lab for Lee & Seshia published |
Jul 18 | Invited Talk: Generalizing Logical Execution Time, Henzinger Festschrift, Paris, France |
Jun 15 | SIGBED Distinguished Lecture: Deterministic Concurrency in CPS, Online |
May 31 | Now Open Access: The Coevolution: The Entwined Futures of Humans and Machines. MIT Press, 2020 |
May 31 | Now Open Access: Plato and the Nerd: The Creative Partnership of Humans and Technology. MIT Press, 2017 |
May 30 | Invited talk: From Hybrid Systems to Modal Models, Workshop in memory of Pravin Variaya, San Diego |
May 12 | Research group reunion (see also), Berkeley |
May 9 | Organized: Workshop on Time-Centric Reactive Software (TCRS) (part of CPS Week), San Antonio |
Apr 22 | Invited Talk: Deep Neural Networks, Explanations, and Rationality, TADM Workshop (part of ETAPS), Paris, France |
Apr 18 | Invited Talk: Deterministic Concurrency and the Lingua Franca Coordination Language, CEA-LIST, Saclay, Paris |
Apr 6 | News release: News release about CAL theorem paper |
Apr 4 | Invited Talk: Deep Neural Networks, Explanations, and Rationality, IRT Saint Exupery, Toulouse, France |
Mar 19 | Blog: Is ChatGPT a False Promise?, Berkeley Blogs |
Mar 18 | Podcast: Information, Entropy, and Digital Computation, It's About Time Club, hosted by Paul Borrill |
Mar 14 | Invited Talk: Precise, Repeatable Timing in Embedded Software, CEA-LIST, Saclay, France |
Feb 23 | Podcast: Edward Lee on the toxic culture of peer review, hosted by Geraldine Fitzpatrick. |
Feb 18 | Podcast: Computing Needs Time, It's About Time Club, hosted by Paul Borrill |
Feb 15 | Invited Talk, Trading off Consistency and Availability in Cyber-Physical Systems, Time Appliances Project(TAP) |
Feb 10 | Invited Talk, Trading off Consistency and Availability in Cyber-Physical Systems, Mälardalen University, Västeras, Sweden |
Feb 9 | Invited Talk, Verifying Parallel and Distributed Systems: The Observer Problem, Mälardalen University, Västeras, Sweden |
Feb 7 | Distinguished Lecture, Trading off Consistency and Availability in Cyber-Physical Systems, KTH, Stockholm, Sweden |
Jan 26 | Invited Talk, Trading off Consistency and Availability in Cyber-Physical Systems, ISAE Toulouse, France |
Jan 24 | Invited Talk: The Toxic Culture of Rejection in Computer Science, Life in Academia Series, University of Oldenburg |
Nov 21 | Invited Talk: Deep Neural Networks, Explanations, and Rationality, Nokia Bell Labs, Responsible AI Seminar Series, Online |
Nov 11 | Invited Talk: The Vienna Manifesto on Digital Humanism, Columbia University, New York |
Nov 10 | Panel on Digital Humanism, Austrian Cultural Center, New York |
Oct 27 | Appointed to Advisory Council of a new journal: Research Directions: Cyber-Physical Systems |
Oct 24 | Invited Talk (with Reinhard von Hanxleden): Pragmatics Twelve Years Later:
A Report on Lingua Franca, at ISoLA, Rhodes, Greece |
Oct 14 | Award: "ACM SIGBED Technical Achievement Award," Announced at ESWEEK, Shanghai |
Oct 3 | Chinese translation of The Coevolution starts shipping |
Sep 7 | Interview: "How I decided to call out the 'toxic culture' of CS," By Anna Kramer, Protocol |
Sep 7 | Article translated into Portuguese: "Estem perdent el control?," Translated by d'Aina Barcelo Cuerda, Revista de Tecnologia, Num. 10 |
Sep 1 | Keynote: Do We Really Want Explainable AI?, at Intelligent Systems, Amsterdam |
Aug 30 | Podcast: Podcast on Digital Humanism, Imagine-22, Vienna, Austria |
Aug 22 | Blog post: The Toxic Culture of Rejection in CS, SIGBED |
July 19 | Paper addressing nondeterminism in ROS-based CPS applications like Autoware.auto |
June 11 | Radio interview on Austrian station Ö1, Rätselhafte Künstliche Intelligenz |
May 24 | Public Lecture: Limits of Machines, Limit of Humans, Vienna, Austria |
May 19 | Interview published in the Future Zone column of the Austrian newspaper, Kurier |
May 17 | Receive Honorary Doctorate, TU Vienna, Austria |
May 1 | Start of one month as Fellow, Institute for Human Sciences, Vienna, Austria |
Apr. 27 | Invited Talk, MDU/Software Center Workshop on Cyber-Security, Vasteras, Sweden |
Apr. 25 | Paper published: "What Can Deep Neural Networks Teach Us About Embodied Bounded Rationality" |
Apr. 20 | Guest lecture, Computational Creativity, for UCB Music 30 |
Mar. 3 | Invited talk, "Fundamental Differences Between Humans and Digital Machines", Digital Humanism Workshop, Vienna |
May 1-31 | Digital Humanism Fellowship at the Institute for
Human Sciences (IWM), Vienna, Austria
|
Feb. 1. | Announced that I will receive the
2022 European Design and Automation Association (EDAA) Achievement Award |
Dec. 3 | Science and Engineering for Cyber-Physical Systems, Invited talk, The Cyber and the Physical Symbiosis Workshop, Tunis and Dresden |
Dec. 2 | Creativity Talk Series: What Can We Learn about Creativity from Deep Neural Networks, Porto (Q&A) |
Oct. 27 | Elected to the Council of the Commission for the History and Philosophy of Computing (HaPoC) |
Oct. 25 | Invited Talk, Time for All Programs, Not Just Real-Time Programs, ISoLA, Rhodes, Greece |
Oct. 20 | Keynote on Determinism, IBM PREVAIL 2021, online |
Oct. 8 | Tutorial on Lingua Franca, EMSOFT, online |
Sep. 27-29 | Keynote on the CAL Theorem, Symp. on Distributed Simulation and Real Time Applications (DS-RT), online |
Sep. 13-17 | Keynote, European Conference on Software Architecture (ECSA), online |
Sep. 1 | Edited open-access book published: Perspectives on Digital Humanism, Springer, 2021. |
Aug. 19 | Keynote on Determinism, RTCSA, online |
June 23 | Keynote, The Coevolution of Humans and Machines, Intelligent Environments (IE), online and Dubai |
June 23-25 | Invited participant, Yehuda Elkana Fellowship Workshop, online and Vienna |
May 25 | Perspective article, Determinism, ACM Transactions on Embedded Computing Systems (TECS) |
April 8 | Blog published, Determinism, ACM SIGBED Blog Series |
April 2 | Podcast released, The Coevolution, New books Network, hosted by John Traphagan |
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. |
Aug 4 | Invited Talk: Models, Ptolemy II, and Beyond, Alphabet, Online (alternate video). |
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 |