Skip to content
Permalink
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
56 lines (53 sloc) 1.51 KB

Contributors

People who contributed to the seL4 proofs in this repository (in alphabetical order).

  • June Andronick, Data61, NICTA & UNSW
  • Callum Bannister, Data61, NICTA
  • Joel Beeren, Data61, NICTA
  • Nelson Billing, NICTA
  • Bernard Blackham, NICTA & UNSW
  • Timothy Bourke, NICTA
  • Andrew Boyton, NICTA & UNSW
  • Matthew Brassil, NICTA
  • Matthew Brecknell, Data61, NICTA
  • David Cock, NICTA & UNSW
  • Matthias Daum, NICTA & UNSW
  • Jeremy Dawson, NICTA
  • Philip Derrin, NICTA
  • Cornelius Diekmann, TUM
  • Dhammika Elkaduwe, NICTA & UNSW
  • Kai Engelhardt, NICTA & UNSW
  • Matthew Fernandez, Data61, NICTA & UNSW
  • Peter Gammie, NICTA
  • Xin Gao, Data61, NICTA
  • Dean Garden, NICTA
  • Gianpaolo Gioiosa, NICTA
  • Alejandro Gomez-Londono, Data61, NICTA
  • David Greenaway, NICTA & UNSW
  • Rohan Jacob-Rao, NICTA
  • Gerwin Klein, Data61, NICTA & UNSW
  • Rafal Kolanski, Data61, NICTA & UNSW
  • Ramana Kumar, Data61, NICTA
  • Corey Lewis, Data61, NICTA
  • Japheth Lim, NICTA
  • Tran Ma, NICTA
  • Daniel Matichuk, Data61, NICTA & UNSW
  • Jia Meng, NICTA
  • Catherine Menon, NICTA
  • Toby Murray, Data61, NICTA & UNSW
  • Magnus Myreen, University of Cambridge & NICTA
  • Michael Norrish, Data61, NICTA & ANU
  • Lars Noschinski, TUM
  • Liam O'Connor, NICTA
  • Corey Richardson, Data61, NICTA
  • Sean Seefried, NICTA
  • Thomas Sewell, Data61, NICTA & UNSW
  • Rupert Shuttleworth, NICTA
  • Miki Tanaka, Data61, NICTA
  • Vernon Tang, NICTA
  • Sophie Taylor, Data61, NICTA
  • David Tsai, NICTA
  • Harvey Tuch, NICTA & UNSW
  • Simon Winwood, NICTA
  • Nickolai Zeldovich, MIT
You can’t perform that action at this time.