People who contributed to the seL4 code, design, or documentation in this repository (in alphabetical order).
- Ali Akguel, NICTA
- Hesham Almatary, Data61
- June Andronick, NICTA & UNSW
- Joel Beeren, NICTA
- Bernard Blackham, NICTA & UNSW
- Alexander Boettcher, Genode Labs
- Timothy Bourke, NICTA
- Andrew Boyton, NICTA & UNSW
- G. Branden Robinson, Data61
- Matthew Brassil, NICTA
- Matthew Brecknell, Data61
- Jimmy Brush
- Mitchell Buckley, Data61
- Aleksander Budzynowski, NICTA & UNSW
- Manuel Chakravarty, NICTA & UNSW
- Xi Ma Chen, NICTA
- Luca (Wei) Chen, Data61
- Nahida Chowdhury, NICTA
- Peter Chubb, NICTA, Data61
- Jonas Claeson
- David Cock, NICTA & UNSW
- Adrian Danis, NICTA, Data61
- Matthias Daum, NICTA & UNSW
- Berkus Decker
- Philip Derrin, NICTA
- Kofi Doku Atuah, Data61
- Dhammika Elkaduwe, NICTA & UNSW
- Kevin Elphinstone, NICTA & UNSW
- Alison Felizzi, Data61
- Matthew Fernandez, NICTA & UNSW, Data61
- Peter Gammie, NICTA
- Xin Gao, NICTA, Data61
- Sylvain Gauthier, Data61
- Alejandro Gomez-Londono, Data61
- David Greenaway, NICTA & UNSW
- Matthew Grosvenor, NICTA
- Chris Guikema, Dornerworks
- Lukas Haenel, NICTA
- Axel Heider, Hensoldt Cyber
- Gernot Heiser, NICTA & UNSW
- Christian Helmuth, Genode Labs
- Sebastian Holzapfel, Data61
- Yu Hou
- Robert Kaiser
- Benjamin Kalman, NICTA
- Felix Kam, NICTA
- Justin King-Lacroix, NICTA
- Gerwin Klein, NICTA & UNSW, Data61
- Rafal Kolanski, NICTA & UNSW, Data61
- Alexander Kroh, NICTA
- Ramana Kumar, Data61
- Damon Lee, Data61
- Corey Lewis, NICTA, Data61
- Frank Li, Data61
- Japheth Lim, NICTA, Data61
- Jasper Lowell, Data61
- Anna Lyons, NICTA & UNSW, Data61
- Daniel Matichuk, NICTA & UNSW
- Stephanie McArthur, NICTA
- Kent McLeod, Data61
- Sam McNally, NICTA
- Curtis Millar, Data61 & UNSW
- Jesse Millwood, Dornerworks
- Bruce Mitchener
- Luke Mondy, Data61
- Toby Murray, NICTA & UNSW
- Tim Newsham
- Ameya Palande, NICTA
- Max R.D. Parmer
- Thibaut Pérami, Data61
- Sean Peters, NICTA
- Victor Phan, Data61
- Edward Pierzchalski, Data61
- Matt Rice
- Corey Richardson, Data61
- Simon Rodgers, NICTA
- Wink Saville
- Oliver Scott, Data61
- Sean Seefried, NICTA
- Thomas Sewell, NICTA & UNSW, Data61
- Yanyan Shen, Data61
- Stephen Sherratt, NICTA, Data61
- Simon Shields, Data61
- Nick Spinale
- Nathan Studer, Dornerworks
- Jack Suann, Data61
- Etienne Le Sueur, NICTA & UNSW
- Partha Susarla, Data61
- Miki Tanaka, Data61
- Michael von Tessin, NICTA & UNSW
- Claudia Tu, UNSW
- Robbie Van Vossen, Dornerworks
- Adam Walker, NICTA
- Jeff Waugh
- Zhicheng Wei
- James Wilmot, NICTA
- Simon Winwood, NICTA
- Addo Wondo, Data61
- Jiawei Xie, NICTA
- Donny Yang, Data61
- Ilya Yanok
- James Ye, Data61
- Amirreza Zarrabi, Data61
- Jingyao Zhou, Data61
- Siwei Zhuang, NICTA, Data61