Catherine Menon
Catherine Menon is a research programmer with the Logic and Computation Program of National ICT Australia (NICTA). She joined the program in October 2007 and is currently working on the L4-Verified project. Catherine's PhD on category theory is from the University of Adelaide, though much of the work for it was done at Macquarie University. Before joining NICTA she worked in the Department of Computer Science at the ANU, with Brendan McKay, who also supervised her Honours thesis.
|