This event is in the past.It took place on April 30, 2026 at Hertz Hall.
Educational TalkEducational TalkDissertation Talk: Verifiable Cyber-Physical Systems — Engineering Models for Deterministic and Predictable Concurrent Execution
Southside
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
Tips
💻also on Zoom if you can't make it in person
🔬technical research on reactor models and Lingua Franca
🎓EECS department PhD candidate presentation
Dissertation Talk: Verifiable Cyber-Physical Systems — Engineering Models for Deterministic and Predictable Concurrent Execution
Southside
Educational TalkEducational TalkDive 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
Tips
💻also on Zoom if you can't make it in person
🔬technical research on reactor models and Lingua Franca
🎓EECS department PhD candidate presentation
Make it an outing
Add nearby spots before or after your event