His work and research interests are in software security and formal verification and validation of software systems, specifically in the field of embedded systems and low-level operating system components. He is particularly interested in security architectures for safety-critical embedded systems and for the Internet of Things. Currently he is exploring use-cases for embedded Protected Module Architectures and formal verification techniques that allow the secure deployment and use of distributed event-driven software components. Further fields of his interest cover abstraction techniques, model checking, decision procedures and embedded systems design, focusing on synchronous languages, correctness proofs and the application of automated (formal) testing techniques.

Technology & innovation