Our People
We are affiliated with the Princess Team hosted at INRIA.
| Annabelle McIver | Macquarie University | |
| Carroll Morgan | University of New South Wales/NICTA | www.cse.unsw.edu.au/~carrollm/ |
| Friedrich Gretz | Macquarie University/Aachen | PhD Student |
| Tahiry Rabehaja | Macquarie University | Research Fellow |
| Roland Wen | Macquarie University | Research Fellow |
Visitors and Collaborators
Geoffrey Smith (FIU)
Catuscia Palamidessi (INRIA/LIX)
Peter Hofner (UNSW/NICTA)
Mario Alvim (UFMG, Brazil)
Kostas Chatzikokolakis (CNRS/LIX)
Vanessa Teague (Uni Melbourne)
Past Members and Visitors
Kim Solin (Visitor)
Zoe Andews (Visitor: Newcastle UK)
Joost-Pieter Katoen (Visitor: RWTH, Germany)
Ernie Cohen (Visitor: Microsoft Research)
Zhendong Jin (Postdoc)
Orieta Celiku (PhD, 2006)
David Jansen (Visitor: Radboud, NL)
Carlos Gonzalia (Postdoc)
Larissa Meinicke (Postdoc, now at UQ)
Raju Halder (Postdoc now at Indian Inst of Technology, Patna)
Ukachukwu Ndukwu (PhD, 2011)
Matt Robinson (Honours 2008)
Enrico Susatyo (Honours, 2010)
Joe Hurd (Visitor: Cambridge)