affiliation	Computational Logic Group,
	Institute of Computer Science
address	University of Innsbruck
	Technikerstrasse 21a, 2. OG (3M09)
	A-6020 Innsbruck, Austria
contact	office hours: Wednesday 13:00 – 15:00
	email: {firstname.lastname}@uibk.ac.at
	tel: ++43 (0) 512 5076435

I received my PhD in Computer Science and my MSc in Computational Logic from the Vienna University of Technology. In addition I hold a MSc from the University of Leeds.

Recently I have obtained the "venia legendi" for Computer Science from the University of Innsbruck. Since June 2004, I'm research assistant at the Computational Logic Group at the University of Innsbruck, Austria.

recommended events

• PR 2010
• CSR 2010
• RTA 2010

activities

I am member of the following associations:

• Association Computability in Europe
• Association for Computing Machinery
• Association for Symbolic Logic
• Kurt Gödel Society