Staff informationThe lecturer for this subject is Zoltan Somogyi.
My office is room 5.34 on level five of the ICT building. You are welcome to come knock on my door anytime.
My main research interest is the design and implementation of logic programming languages. Since 1994, most of my work in this area uses the programming language Mercury, which is a pure logic programming language designed to help teams of programmers create large, reliable software systems.
I am one of the main designers of Mercury. I am also one of its main implementors. Specifically,
- I am the main implementor of one of its (several) code generators.
- I am the main implementor of the Mercury debugger.
- I am one of the main implementors of the Mercury profiler.
- I implemented many if not most of the Mercury compiler's optimizations.
Most of my research work is in the area covered by this subject.