executive Team

David Cock, Ph.D.

Head of Verification

David holds a Ph.D. in Computer Science from the University of New South Wales, having previously been a member of the seL4 project which produced the world's first fully verified operating system kernel. Since 2015 he has worked as a senior researcher at ETH Zürich, and as technical lead on the Enzian project (, developing the first fully open-source CPU-FPGA coherent hybrid server platform.

Gernot Heiser, Ph.D.

Chief Scientific Officer

Gernot is a world-renowned researcher in Operating Systems (OSs) and co-inventor of seL4, the first formally verified OS kernel. He was Chief Research Scientist at CSIRO's Data61, and Founder and CTO of Open Kernel (OK) Labs, a startup commercializing L4 microkernel technology acquired by General Dynamics. The OKL4 microkernel now powers the secure co-processor of iPhones and iPads, among others.

Stevens Le Blond, Ph.D.

Founder and co-CEO

Stevens has conducted award-winning, cybersecurity research for over a decade. He was a senior researcher at the École Polytechnique Fédérale de Lausanne and Max Planck Institute for Software Systems where his team contributed to improving the cybersecurity of hundreds of millions of Internet users. Frustrated by the status quo, he founded Neutrality in 2019 to make a dent in the universe.

Charlotte Lindsey


Charlotte has decades of experience in ICT, data and cybersecurity policy with a particular focus on the international organization and not for profit sector. She was Director of Digital Transformation and Data, and Director of Communication and Information Management at the International Committee of the Red Cross (ICRC) (2010-2020). She has a broad knowledge of international Geneva.

Mathieu Mirmont

Head of engineering

Mathieu has over a decade of experience in designing high-assurance software for safety critical systems in the field of aerospace. He was Software Guru on the YES2 satellite, which holds the world record of the longest tether ever deployed in space (30km), and co-founder of Ampyx Power, a startup developing Airborne Wind Energy systems capable of producing renewable wind energy at large scale.

Gérald Vernez

Chief Security Advisor

Gérald has extensive experience in the cyberdefense of the Swiss Confederation. He has held several key positions, including Deputy Director for the development of the National Cybersecurity Strategy, Delegate of the Chief of the Armed Forces for cyberdefense, and Delegate of the Federal Department of Defense for cyberdefense, giving him unique insights into security policy and critical infrastructure security.

Advisory board

Prof. June Andronick

Adjunct Professor (UNSW)

June Andronick is a co-inventor of the seL4 microkernel and CEO of the seL4 Foundation. She is also the CEO and co-founder of Proofcraft, providing commercial support, training, consulting, and contracted proof projects around software verification in general and seL4 verification in particular. Her research focuses on increasing the reliability of critical software systems, by mathematically proving that the code behaves as expected and satisfies security and safety requirements.

Prof. David Patterson

Turing award 2017 (RISC)

David is best known for the Reduced Instruction Set Computers (RISC), Redundant Array of Inexpensive Disks (RAID), and Networks of Workstations (NOW), each of which helped lead to billion dollar industries. He also served as Chair of the Computer Science Division at UC Berkeley, Chair of the Computing Research Association, and President of ACM. He is currently Vice-Chair of the Board of Directors of the RISC-V Foundation.

Prof. Timothy Roscoe

Professor (ETHZ)

Mothy is the co-inventor of the Barrelfish multikernel. His main research directions concern formally specifying the hardware-software interface, using formal specifications in the design of OSes that provide meaningful guarantees of correctness and trustworthiness, and in parallel the design of future computing hardware that incorporates reconfiguable logic, together with safe and secure ways to program system software for such platforms.