July 19: Proposal to NSF approved for funding: Reconciling Safety with the Internet for Cyber-Physical Systems.
July 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.
May 25: Invited talk: "What Good Are Formal Models?" Summer School on Formal Techniques, Atherton, CA.
May 15: Plato and the Nerd becomes available as an Audio Book
May 2: Invited talk (see video), "Symbiosis or Annihilation: A philosophical look at Artificial Intelligence," IDT Open Seminar, Mälardalen University, Västerås, Sweden.
Apr. 27: Invited talk, "TSN as a Game Changer for Cyber-Physical Systems," Workshop on Time-Sensitive Networks, Mälardalen University, Västerås, Sweden.
Feb. 1: Started a 25% Visiting Professor position at Mälardalen University.
Jan. 30: Symbiosis or Annihilation? How Humans and Technology Coevolve, CafeX Series of Fireside Chats with Dean Ishwar Puri, McMaster University, Hamilton, Ontario, Canada.
Jan. 29: Distinguished Lecture in the Department of Computing and Software at McMaster University: Resurrecting Laplace's Demon: The Case for Deterministic Models, Hamilton, Ontario, Canada.
2017
Dec. 31: "Retired" from the university becoming Professor in the Graduate School and Professor 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.
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.
Jan. 26: Invited talk: "Resurrecting Laplace's Demon: The Case for Deterministic Models," Distinguished Lecture Series, Computer and Information Science Department, University of Pennsylvania.
2016
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.
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. 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."
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.
