Jun 8-12: Keynote at CAiSE 2020 in Grenoble, France
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.
Upcoming 2019
Dec. 18: Invited talk: The Coevolution of Humans and Machines, Vienna Series on Digital Humanism, Vienna, Austria.
Dec 16-17: International Advisory Board, TU Vienna, Computer Science.
Dec. 7: Keynote at Embedded AI Summit in Shenzhen, China.
2019
Oct 29: Invited Talk: Actors Revisited for Predictable Systems, Programming Languages for Distributed Systems and Distributed Data Management, Dagstuhl, Germany.
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, "for pioneering and fundamental
contributions to the design, modeling and simulation of cyber-physical systems."
Mar 3-8: Invited talk at Dagstuhl Seminar on Analysis, Design, and Control of Predictable Interconnected Systems, Germany, "Actor-Oriented Models of Computation for Predictable Interconnected Systems"
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.
June 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
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
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.