<!-- Copyright 2020 Data61, CSIRO (ABN 41 687 119 230) SPDX-License-Identifier: CC-BY-SA-4.0 -->

Contributors

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