People who contributed to the design, code, proof, or documentation in this repository (in alphabetical order).
- Sidney Amani, Data61 (was at NICTA) & UNSW
- Ryan Barry, UNSW
- Joel Beeren, Data61 (was at NICTA)
- Nelson Chen, UNSW
- Zilin Chen, Data61 (was at NICTA) & UNSW
- Louis Cheung, University of Melbourne
- Peter Chubb, Data61 & UNSW
- Vivian Dang, UNSW
- Matthew Di Meglio, UNSW
- Sahan Fernando, UNSW
- Gernot Heiser, Data61 & UNSW
- Alex Hixon, NICTA (was at NICTA) & UNSW
- Vincent Jackson, University of Melbourne
- Jashank Jeremy, UNSW
- Gabriele Keller, Universiteit Utrecht (was at Data61 & UNSW)
- Luka Kerr, UNSW
- Gerwin Klein, Data61 (was at NICTA) & UNSW
- Ambroise Lafont, UNSW
- Edward Lee, NICTA & UNSW
- Corey Lewis, Data61 (was at NICTA)
- Japheth Lim, Data61 (was at NICTA)
- Craig McLaughlin, UNSW
- Craige McWhirter
- Emmet Murray, UNSW
- Toby Murray, University of Melbourne (was at UNSW) & Data61 (was at NICTA)
- Yutaka Nagashima, Data61 (was at NICTA)
- Liam O'Connor, UNSW & Data61 (was at NICTA)
- Christine Rizkallah, University of Melbourne
- Amos Robinson, UNSW
- Nick Robson, UNSW
- Leonid Ryzhyk, NICTA & UNSW
- Carter Tazio Schonwald
- Harrison Scott, UNSW
- Sean Seefried, NICTA
- Thomas Sewell, Data61 (was at NICTA) & UNSW
- Sean Shang, UNSW
- Partha Susarla, Data61
- Gunnar Teege, Universität der Bundeswehr München
- Joseph Tuong, NICTA & UNSW