Skip to content

Latest commit

 

History

History
117 lines (113 loc) · 2.84 KB

CONTRIBUTORS.md

File metadata and controls

117 lines (113 loc) · 2.84 KB

Contributors

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