MiniZinc
| I lead the design and implementation of the MiniZinc, constraint modelling language and tool chain. Version 2 of MiniZinc is based on a new open source C++ library that includes support for constraint model analysis, compilation, and interfacing with constraint solvers. |  |
Gecode
| I am one of the designers and implementers of Gecode, an open, free, portable, accessible, and efficient environment for developing constraint-based systems and applications. |  |
G12
| I was involved in the implementation of the G12 constraint programming platform at NICTA. |  |
Alice
| I was involved in design and implementation of parts of the virtual machine for Alice ML, a functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming. |  |
Mozart
| I have contributed to the Mozart programming system, a platform for constraint and distributed programming. My contributions are available in the MOGUL archive. |  |