diff --git a/CONTRIBUTORS.md b/CONTRIBUTORS.md index 3fd84e458..ee9a2691d 100644 --- a/CONTRIBUTORS.md +++ b/CONTRIBUTORS.md @@ -10,55 +10,108 @@ Contributors People who contributed to the seL4 code, design, or documentation in this repository (in alphabetical order). -* June Andronick, NICTA & UNSW * 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 +* Peter Chubb, NICTA, Data61 +* Jonas Claeson * David Cock, NICTA & UNSW -* Adrian Danis, NICTA +* 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 -* Matthew Fernandez, NICTA & UNSW +* Alison Felizzi, Data61 +* Matthew Fernandez, NICTA & UNSW, Data61 * Peter Gammie, NICTA -* Xin Gao, 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 -* Rafal Kolanski, NICTA & UNSW +* Gerwin Klein, NICTA & UNSW, Data61 +* Rafal Kolanski, NICTA & UNSW, Data61 * Alexander Kroh, NICTA -* Etienne Le Sueur, NICTA & UNSW -* Corey Lewis, NICTA -* Japheth Lim, NICTA -* Anna Lyons, NICTA & UNSW +* 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 -* Tim Newsham +* 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 -* Stephen Sherratt, 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