If you made any changes in Pure these will be visible here soon.

Personal profile

Education/Academic qualification

Computer Science, Doctor of Philosophy, University of Melbourne

Award Date: 14 Mar 2013

Computer Science, Bachelor of Science (Degree with Honours), University of Melbourne

Award Date: 17 Dec 2008

Computer Science, Bachelor of Science, University of Melbourne

Award Date: 20 Dec 2007

Research area keywords

  • constraint programming
  • verification
  • satisfiability
  • abstract interpretation

Network

Recent external collaboration on country level. Dive into details by clicking on the dots or
If you made any changes in Pure these will be visible here soon.