seL4

Credits

The following people have contributed to the seL4 design, code and proofs since 2004.

  • June Andronick
  • Callum Bannister
  • Joel Beeren
  • Nelson Billing
  • Bernard Blackham
  • Timothy Bourke
  • Andrew Boyton
  • Matthew Brassil
  • Aleksander Budzynowski
  • Manuel Chakravarty
  • Xi Ma Chen
  • Nahida Chowdhury
  • Peter Chubb
  • David Cock
  • Adrian Danis
  • Matthias Daum
  • Jeremy Dawson
  • Philip Derrin
  • Dhammika Elkaduwe
  • Kevin Elphinstone
  • Kai Engelhardt
  • Matthew Fernandez
  • Peter Gammie
  • Xin Gao
  • Dean Garden
  • Gianpaolo Gioiosa
  • David Greenaway
  • Matthew Grosvenor
  • Lukas Haenel
  • Gernot Heiser
  • Rohan Jacob-Rao
  • Benjamin Kalman
  • Justin King-Lacroix
  • Gerwin Klein
  • Rafal Kolanski
  • Alexander Kroh
  • Etienne Le Sueur
  • Corey Lewis
  • Japheth Lim
  • Anna Lyons
  • Tran Ma
  • Daniel Matichuk
  • Stephanie McArthur
  • Sam McNally
  • Jia Meng
  • Catherin Menon
  • Toby Murray
  • Magnus Myreen
  • Michael Norrish
  • Liam O'Connor
  • Ameya Palande
  • Sean Peters
  • Simon Rodgers
  • Sean Seefried
  • Thomas Sewell
  • Rupert Shuttleworth
  • Vernon Tang
  • Michael von Tessin
  • David Tsai
  • Harvey Tuch
  • Adam Walker
  • James Wilmot
  • Simon Winwood
  • Jiawei Xie