1Contributors
2------------
3
4People who contributed to the design, code, proof, or documentation in this
5repository (in alphabetical order).
6
7* Sidney Amani, Data61 (was at NICTA) & UNSW
8* Ryan Barry, UNSW
9* Joel Beeren, Data61 (was at NICTA)
10* Nelson Chen, UNSW
11* Zilin Chen, Data61 (was at NICTA) & UNSW
12* Louis Cheung, UNSW
13* Peter Chubb, Data61 & UNSW
14* Vivian Dang, UNSW
15* Matthew Di Meglio, UNSW
16* Sahan Fernando, UNSW
17* Gernot Heiser, Data61 & UNSW
18* Alex Hixon, NICTA (was at NICTA) & UNSW
19* Vincent Jackson, UNSW
20* Jashank Jeremy, UNSW
21* Gabriele Keller, Universiteit Utrecht (was at Data61 & UNSW)
22* Gerwin Klein, Data61 (was at NICTA) & UNSW
23* Ambroise Lafont, UNSW
24* Edward Lee, NICTA & UNSW
25* Corey Lewis, Data61 (was at NICTA)
26* Japheth Lim, Data61 (was at NICTA)
27* Craig McLaughlin, UNSW
28* Craige McWhirter
29* Emmet Murray, UNSW
30* Toby Murray, University of Melbourne (was at UNSW) & Data61 (was at NICTA)
31* Yutaka Nagashima, Data61 (was at NICTA)
32* Liam O'Connor, UNSW & Data61 (was at NICTA)
33* Christine Rizkallah, UNSW & Data61 (was at NICTA)
34* Amos Robinson, UNSW
35* Nick Robson, UNSW
36* Leonid Ryzhyk, NICTA & UNSW
37* Carter Tazio Schonwald
38* Sean Seefried, NICTA
39* Thomas Sewell, Data61 (was at NICTA) & UNSW
40* Sean Shang, UNSW
41* Partha Susarla, Data61
42* Gunnar Teege, Universit��t der Bundeswehr M��nchen
43* Joseph Tuong, NICTA & UNSW
44