Lecturer / Assistant Professor, Australian National University. Interests: Algorithms and techniques to support design and development workflow of trustworthy and resilient autonomous systems.