Research fellow; working in static analysis, program verification and discrete optimization, with
digressions into graph drawing, document layout and whatever else seemed like a good idea
at the time.
This page, its contents and style, are the responsibility of the author and do not necessarily represent the view, policies or opinions of The University of Melbourne.