This event is in the past.It took place on April 30, 2026 at Hertz Hall.
Educational TalkDissertation Talk: Verifiable Cyber-Physical Systems — Engineering Models for Deterministic and Predictable Concurrent Execution
April 30 at 10am
Southside, Berkeley
💻Also on Zoom if you can't make it in person
🔬Technical research on reactor models and Lingua Franca
🎓EECS department PhD candidate presentation
Dive into the future of safety-critical systems engineering. This PhD dissertation defense presents a unified framework for designing and verifying cyber-physical systems using the reactor model and Lingua Franca coordination language.
Academic research talk
Technical engineering
EECS department
PhD defense
Educational TalkDissertation Talk: Verifiable Cyber-Physical Systems — Engineering Models for Deterministic and Predictable Concurrent Execution
April 30 at 10am
Southside, Berkeley
💻Also on Zoom if you can't make it in person
🔬Technical research on reactor models and Lingua Franca
🎓EECS department PhD candidate presentation
Dive into the future of safety-critical systems engineering. This PhD dissertation defense presents a unified framework for designing and verifying cyber-physical systems using the reactor model and Lingua Franca coordination language.
Academic research talk
Technical engineering
EECS department
PhD defense