People
Team
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.
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.
David Cock, Ph.D.
Head of Verification
David is an early contributor to the seL4 microkernel, having contributed both the first C implementation and seminal formal-verification work. He holds a Ph.D. from the University of New South Wales where his research included probabilistic and non-functional properties of seL4 such as side channels. As a senior researcher at ETH Zurich, he also led the team that built the Enzian research computer.
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.
Daniel Schwyn, Ph.D.
Senior engineer
Daniel contributed to the Barrelfish multikernel OS where he worked on integrating formal specifications of the hardware-software interface. He was a doctoral researcher at ETH Zürich where he led the design of a trustworthy board management controller system using formal specifications of its intended behavior. He was also part of the ETH team that built the Enzian research computer.
Alessandro Legnani
Engineer
Alessandro worked on the Enzian research computer and collaborated with the University of New South Wales' Trustworthy Systems Group on adding support for SMT-based verification for the Pancake systems programming language. In his thesis, he laid the foundation for a formally verified communication bus for a more trustworthy board management controller on Enzian. He holds a B.Sc. and M.Sc. from ETH Zürich.
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
Unicorn co-founder
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.
Gilles Concordel
Unicorn Co-Founder
Gilles is a co-founder of Redback Networks (unicorn) and headed its business development before its IPO and subsequent acquisition by Ericson. After a career in science and technology, Gilles and his wife, Marie, became humanitarians, including as advisors to Human Rights Watch. Today, they advise a handful of impact startups while pursuing their passion for travel by land and sea.
Prof. David Patterson
Professor (UC Berkeley)
David is best known for 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.
Christian Petit
former serial CEO
Christian Petit is the former CEO of Swisscom Private Customers and Swisscom Enterprise (the B2C and B2B arms of Switzerland's largest telecom operator), and Romande Energie (the fifth largest energy provider in Switzerland). During his tenure, Christian managed and developed fast-growing businesses such as IP TV, Mobile Data, Optical Fibre, Cloud Services, Energy Services, and Renewable Energy.
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.