I am participating in the TCOOL project
I am doing organisatorical work for the Edinburgh site in the APPSEM working group
I am organiser of the Semantics club
I gave a post graduate course on typed program calculi. TPG courses I plan to offer lecture notes soon.
My research interests are focused on typed program calculi their semantics their type inference/reconstruction and their implementation.
Therefore I am interested in game semantics, linear logic (proof nets, geometry of interaction), category theory, pure type systems, pi-calculi.
A list of papers written (entirely or jointly) by me is available.
I am fascinated by the aesthetics of mathematics. So I try to understand the relevance of new mathmatical developments for logic and program calculi. This lead my attention to quantum computing, higher dimensional categories (also named ``post-modern algebra'' by John Baez), quantum algebra and algebraical topology.
Here you will find some more pictures of me and my son Dominik.
|Voice||Office||+44 131 650 5151|
|Home||+44 131 667 8898|
|Fax||+44 131 650 7209|
University of Edinburgh
Mayfield Road, King's Buildings
EDINBURGH EH9 3JZ