Consultancy

I am always excited to connect with new collaborators in areas of my research (e.g., cybersecurity, information security, high-integrity systems, formal methods, software development/engineering, etc.) or in areas of my industry experience (e.g., SecDevOps, secure software engineering). In general, collaborations can range from informally to publicly (co-)funded project to direct industry engagements. I am available for short term consultancy work and advisor/specialist roles. My expertise allows for technical work (e.g., security assessments, formal proofs/verification, or the development of security or formal methods tools) to strategic advisory roles (e.g., as technical advisor or non-executive board member).

Arrangement can be made under the umbrella of the university or privately. Please email me to discuss details or book a short meeting to discuss potential collaborations!