People

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 (OS) kernel. Since 2015 he has worked as a senior researcher at ETH Zürich, and as technical lead on the Enzian project (https://enzian.systems), 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 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 to make a dent in the universe.

Charlotte Lindsey

co-CEO

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) ('10-'20). 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 is a co-inventor of the seL4 microkernel. She is the CEO and co-founder of Proofcraft, notably providing consulting on 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. She is also CEO of the seL4 Foundation.

Vincent Bieri

Co-founder of Nexthink

Vincent, a Co-founder of Nexthink (Swiss unicorn), has been instrumental in the company's journey from its inception, spearheading its expansion into the global Digital Employee Experience market. Now an advisor and investor, he empowers fellow entrepreneurs to realize their visions and maximize their impact while pursuing his passion for mountaineering.

Prof. David Patterson

Professor (UC Berkeley)

David is best known for the Reduced Instruction Set Computers (RISC, Turing Award '17), 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, 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 direction concerns formally specifying the hardware-software interface, using formal specifications in the design of OSs that provide meaningful guarantees of correctness and trustworthiness. He was Head of the CS Department at ETHZ and named Fellow of the ACM.