News about Edward A. Lee
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, , 2017.
Introduction to Embedded Systems, A Cyber-Physical Systems Approach 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.
July 29: Invited talk, "Fundamental Limits of Cyber-Physical Systems Modeling," Symposium honoring Janos Sztipanovits, Nashville, TN.
July 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.
June 28, Invited talk, "What Does āReal Timeā Mean?" Workshop on Real-Time Decision Making, Simons Institute, Berkeley, CA.
June 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, , US-German Workshop on IoT and CPS, Washington DC.
IoT and CPS: A Focus on Modeling Jan. 11: Invited talk, , IFIP WG 10.4 Meeting and Workshop on Internet of Things, Aspen, CO.
Accessors: An Open Architecture for the Internet of Things 2015
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: at EMSOFT, ES Week, Amsterdam on CyPhySim.
Invited talk Sep. 14-16: Chaired Visiting Committee to evaluate the Computer Science Department at the National University of Singapore.
Sep. 11: at Software Engineering and Formal Methods (SEFM), York, England.
Keynote talk 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).
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: at ASPLOS (Architectural Support for Programming Languages and Operating Systems) in Istanbul, Turkey.
Keynote talk 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.
at the College de France Invited talk Nov. 5-6:
TerraSwarm annual meeting Sept. 27:
Published Ptolemy book Sept. 10:
Keynote at Emerging Technologies & Factory Automation (ETFA) Cagliari, Italy June 4: CEDA distinguished speaker series
talk at DAC, Austin, Texas 2012
at RTSS, San Juan, Puerto Rico Keynote talk Nov. 6:
at the Haifa Verification Conference (HVC), Haifa, Israel Plenary talk Oct. 11:
Keynote talk at the Workshop on Embedded and Cyber-Physical Systems Education (WESE), Tampere, Finland Oct. 5:
Education at the NSF PI Meeting, Maryland Keynote Sept. 26:
at ISPCS, South San Francisco Keynote Talk July 19:
Keynote talk at SAMOS, Samos, Greece May 6:
Plenary talk at the Software Certification Consortium (SCC) Workshop at HCSS, Annapolis, MD March 20:
at PerMIS, Maryland Plenary talk Feb. 8:
Keynote talk at MODPROD ...