Contributors

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, UNSW
  • 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, UNSW
  • Jashank Jeremy, UNSW
  • Gabriele Keller, Universiteit Utrecht (was at Data61 & 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, UNSW & Data61 (was at NICTA)
  • Amos Robinson, UNSW
  • Nick Robson, UNSW
  • Leonid Ryzhyk, NICTA & UNSW
  • Carter Tazio Schonwald
  • 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