10-Minute Demonstration of Lingua Franca

by Shaokai Lin, UC Berkeley, for the NSP CPS PI Meeting, May 2020


90-Second Introduction to the Lingua Franca Project

by Prof. Edward A. Lee, UC Berkeley, for the NSP CPS PI Meeting, May 2020


From Transistors to Swarm Systems: The Evolution of Design Methods and Tools in the last 40 Years

Lecture by Prof. Alberto Sangiovanni-Vincentelli, UC Berkeley at the Advanced Circuits Research Center (ACRC) online seminar. Date: November 24, 2020


Verifying Parallel and Distributed Systems: The Observer Problem

Invited Talk by Edward A. Lee at the Integrated Formal Methods (iFM) conference, held virtually from Lugano, Switzerland, on Nov. 18 2020.


Deterministic Actors

Invited talk in the Seminar Series:Design and Programming Cyber-Physical Systems and IoT Applications, organized by TU Dresden, Germany & Univ. of Manouba, Tunisia, Oct. 15, 2020.


Verified Artificial Intelligence and Autonomy

Keynote by Prof. Sanjit A. Seshia, UC Berkeley at the 12th NASA Formal Methods Symposium (NFM). Event Date: Wednesday May 13th, 2020


Towards Verified Artificial Intelligence: A Run-Time Verification Perspective

Invited talk by Prof. Sanjit A. Seshia, UC Berkeley at the 19th International Conference on Runtime Verification (RV 2019). Event Date: Wednesday October 8-11th, 2019


GridWatch: Sensing the Health of the Power Grid

Invited talk by Prof. Prabal Dutta, UC Berkeley.