Title: TBD

Abstract: TBD

Biography: Computer science researcher, specialised in formal methods and tool-based program specification and verification. Focus on security of applications and platforms for trusted personal devices. Large expertise on thread-modular verification of multithreaded programs, compositional reasoning, and semantics of specification languages.

PhD obtained from Radbouw University of Nijmegen on Java program verification in Higher-order logic with PVS and Isabelle. Graduated from Utrecht University.

Specialties: Program verification, Multithreading, Compositional reasoning, Semantics, Formal methods, Security.