1Contributors
2------------
3
4People who contributed to the seL4 code, design, or documentation in this
5repository (in alphabetical order).
6
7* June Andronick, NICTA & UNSW
8* Ali Akguel, NICTA
9* Joel Beeren, NICTA
10* Bernard Blackham, NICTA & UNSW
11* Timothy Bourke, NICTA
12* Andrew Boyton, NICTA & UNSW
13* Matthew Brassil, NICTA
14* Aleksander Budzynowski, NICTA & UNSW
15* Manuel Chakravarty, NICTA & UNSW
16* Xi Ma Chen, NICTA
17* Nahida Chowdhury, NICTA
18* Peter Chubb, NICTA
19* David Cock, NICTA & UNSW
20* Adrian Danis, NICTA
21* Matthias Daum, NICTA & UNSW
22* Philip Derrin, NICTA
23* Dhammika Elkaduwe, NICTA & UNSW
24* Kevin Elphinstone, NICTA & UNSW
25* Matthew Fernandez, NICTA & UNSW
26* Peter Gammie, NICTA
27* Xin Gao, NICTA
28* David Greenaway, NICTA & UNSW
29* Matthew Grosvenor, NICTA
30* Lukas Haenel, NICTA
31* Gernot Heiser, NICTA & UNSW
32* Benjamin Kalman, NICTA
33* Justin King-Lacroix, NICTA
34* Gerwin Klein, NICTA & UNSW
35* Rafal Kolanski, NICTA & UNSW
36* Alexander Kroh, NICTA
37* Etienne Le Sueur, NICTA & UNSW
38* Corey Lewis, NICTA
39* Japheth Lim, NICTA
40* Anna Lyons, NICTA & UNSW
41* Stephanie McArthur, NICTA
42* Sam McNally, NICTA
43* Tim Newsham
44* Toby Murray, NICTA & UNSW
45* Ameya Palande, NICTA
46* Max R.D. Parmer
47* Sean Peters, NICTA
48* Simon Rodgers, NICTA
49* Wink Saville
50* Sean Seefried, NICTA
51* Thomas Sewell, NICTA & UNSW
52* Stephen Sherratt, NICTA
53* Michael von Tessin, NICTA & UNSW
54* Robbie Van Vossen, Dornerworks
55* Adam Walker, NICTA
56* James Wilmot, NICTA
57* Simon Winwood, NICTA
58* Jiawei Xie, NICTA
59