I am mainly interested in the design, formal verification and safety assurance of cyber-physical systems.
Autonomous Systems, System Safety, Machine Learning, Formal Verification