Verification of Neuro-Cyber-Physical Systems
University of Southampton
Faculty of Engineering and Physical Sciences
Supervisory Team. Ekaterina Komendantskaya. Formal verification of neuro-symbolic cyber-physical systems, such as drones, medical devices and robots, is complicated. Read more
Supervisor: Dr E Komendantskaya
1 September 2026
PhD Research Project
Competition Funded PhD Project (Students Worldwide)