Wednesday, February 1, 2017 12:00 pm
-
12:00 pm
EST (GMT -05:00)
Candidate
Reza Babaee Cheshmeahmadrezaee
Topic
Predictive Runtime Verification of Cyber-Physical Systems
Supervisor
Sebastian Fischmeister and Arie Gurfinkel
Background subjects
- Formal Methods
- Machine Learning
- Software Engineering
- Embedded Software