I work on fundamental solutions to cybersecurity challenges by making systems truly trustworthy. I  am the founder and leader of the Trustworthy Systems Research Group, known as world leaders in applying formal methods (i.e. mathematical proof techniques) for ensuring the security and safety of real-world computing systems. I have a strong track record of technology transfer through industry collaborations, consulting and startups.

My current research interests include:

• Operating Systems, especially microkernels and microkernel-based systems
• Cybersecurity, highly-secure and dependable systems, high-assurance systems, analysis and prevention of cyber threats
• Real-time systems, especially operating systems for temporal safety
• Virtualization
• Embedded and Cyberphysical Systems
• Architectural support for operating systems
• Dependability

Please do not contact me if your interests are in AI, machine learning, blockchain and similar buzzwords