Graeme Gange

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.

Publications [DBLP] [Google Scholar]

Constraint Programming / Optimization:
  • Nonograms
  • Forklift Scheduling
  • Certified Optimization
    • Program Analysis:
  • Modular differences
    • String Analysis:
  • Revenant
    • Circuit Synthesis:
  • Synthesizing switching lattices
    • Logic Resources:
  • Unification

    • Miscellany:
  • Sample .vimrc

    • Contact

    gkgange@unimelb.edu.au
    Room 8.14
    Doug McDonell
    Dept. of CIS
    University of Melbourne
    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.