Cyber Physical Systems
Our people
Learn more about our team
Associate Professor
Research interests
-
Formal System Development
-
Program Semantics
-
Autonomous Systems
Accepting applications from PhD students
Connect with Son
Professor
Accepting applications from PhD students
Connect with Steve
Associate Professor
Connect with Tomasz
