Experience

Researcher in the in dependable autonomous systems unit focusing on development, verification and validation of automated systems, from safety and security perspectives.

Doctoral research in formal verification, supervisory control of automated systems, teaching and supervision of students.