People who contributed to the seL4 code, design, or documentation in this repository (in alphabetical order).
- Markku Ahvenjärvi, TII
- Ali Akguel, NICTA
- Hesham Almatary, Data61
- June Andronick, Proofcraft, NICTA & UNSW
- Ryan Barry, Proofcraft
- Andy Bui, 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
- Birgit Brecknell, seL4 Foundation, UNSW
- Matthew Brecknell, Kry10, 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
- Ahmed Charles
- Peter Chubb, UNSW, 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
- Alexander Fasching
- Alison Felizzi, Data61
- Matthew Fernandez, NICTA & UNSW, Data61
- Peter Gammie, NICTA
- Xin Gao, NICTA, Data61
- Sylvain Gauthier, Data61
- Alejandro Gomez-Londono, Data61
- Lukas Graber, Hensoldt Cyber
- David Greenaway, NICTA & UNSW
- Matthew Grosvenor, NICTA
- Karol Gugala, Antmicro
- Chris Guikema, Dornerworks
- Lukas Haenel, NICTA
- Bao Haojun
- Axel Heider, Codasip, Hensoldt Cyber
- Gernot Heiser, NICTA & UNSW
- Christian Helmuth, Genode Labs
- Florian Hofhammer
- Sebastian Holzapfel, Data61
- Yu Hou
- Peter S. Housel
- Mark Jenkinson, Cap Gemini
- Cao Jianlong
- Alwin Joshy, UNSW
- Robert Kaiser
- Benjamin Kalman, NICTA
- Felix Kam, NICTA
- Justin King-Lacroix, NICTA
- Gerwin Klein, Proofcraft, NICTA & UNSW, Data61
- Rafal Kolanski, Proofcraft, NICTA & UNSW, Data61
- Nataliya Korovkina
- Alexander Kroh, NICTA
- Ramana Kumar, Data61
- Damon Lee, Kry10, Data61
- Ben Leslie, Breakaway
- Corey Lewis, Proofcraft, NICTA, Data61
- Frank Li, Data61
- Japheth Lim, NICTA, Data61
- Chang Liu, Brown University
- Cindy Liu
- Jasper Lowell, Data61
- Anna Lyons, NICTA & UNSW, Data61
- Hannu Lyytinen, TII
- Daniel Matichuk, NICTA & UNSW
- Stephanie McArthur, NICTA
- Craig McLaughlin, UNSW
- Kent McLeod, Kry10, Data61
- Michael McInerney, Proofcraft, UNSW
- Sam McNally, NICTA
- Bin Meng
- Curtis Millar, Data61 & UNSW
- Jesse Millwood, Dornerworks
- Bruce Mitchener
- Mathieu Mirmont
- Luke Mondy, Data61
- Toby Murray, NICTA & UNSW
- Seiya Nuta
- Tim Newsham
- Joonas Onatsu, TII
- Stefan O'Rear
- Ameya Palande, NICTA
- Max R.D. Parmer
- Alex Pavey, Dornerworks
- Thibaut Pérami, Data61
- Jorge Pereira, TII
- Sean Peters, NICTA
- Victor Phan, Data61
- Edward Pierzchalski, Data61
- Matt Rice
- Corey Richardson, Data61
- Simon Rodgers, NICTA
- Juan Pablo Ruiz, TII
- Viktor Sannum
- Wink Saville
- Oliver Scott, Data61
- Sean Seefried, NICTA
- Thomas Sewell, NICTA & UNSW, Data61
- Dan Shea
- Yanyan Shen, NIO, Cog, Data61
- Stephen Sherratt, NICTA, Data61
- Simon Shields, Data61
- Wojciech Sipak, Antmicro
- Nick Spinale, Colias Group
- Nathan Studer, Dornerworks
- Jack Suann, Data61
- Etienne Le Sueur, NICTA & UNSW
- Partha Susarla, Data61
- Miki Tanaka, Data61
- Michael von Tessin, NICTA & UNSW
- Klim Tsoutsman
- Claudia Tu, UNSW
- Ivan Velickovic, UNSW
- Robbie Van Vossen, Dornerworks
- Bertrand Virfollet
- Adam Walker, NICTA
- Jeff Waugh
- Zhicheng Wei
- James Wilmot, NICTA
- Krishnan Winter, UNSW
- Simon Winwood, NICTA
- Marcin Witkowski, Antmicro
- Addo Wondo, Data61
- Jiawei Xie, NICTA
- Donny Yang, Data61
- Ilya Yanok
- James Ye, Data61
- Qiao Yongchang
- Finn Zhang
- Amirreza Zarrabi, Data61
- Jingyao Zhou, UNSW, Data61
- Siwei Zhuang, NICTA, Data61
- Indan Zupancic, seL4 Foundation, MEP