Cyber Physical Systems
Our people
Learn more about our team
Research interests
- AI/ML for securityMalware detectionNatural Languages Processing
Connect with Amirah
Associate Professor
Research interests
- systems modelling and control with aerospace and biomedical application
- Monte Carlo methods
Accepting applications from PhD students
Connect with Andrea
Senior Research Fellow
Research interests
- Formal Methods
- Autonomous Systems
- Responsible AI (Socio-technical)
Accepting applications from PhD students
Connect with Asieh
Research interests
- Stability analysis of systems involving neural networks
- The cross-over between control theory and machine learning
Connect with Carl
Associate Professor
Research interests
- Reinforcement Learning
- Formal Methods
- Design Automation for Cyber Physical Systems
Accepting applications from PhD students
Connect with Chao
Senior Research Fellow
Connect with Chaohai
Senior Research Fellow
Connect with Colin
Professor in Computer Engineering
Research interests
- Event-driven Computing
- FPGAs
- Digital Architectures
Accepting applications from PhD students
Connect with David
Senior Research Fellow
Connect with E.A.
Professor
Research interests
- Logic in Computer Science
- Theorem Proving
- Machine Learning
Accepting applications from PhD students
Connect with Ekaterina
