| 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. In 2009, I received my habilitation in Computer Science from the University of Innsbruck.
Since 2011, I'm associate professor at the Computational Logic Group at the University of Innsbruck, Austria. It is my humble duty to organise the Computer Science Colloquium in Innsbruck.
recommended events
- RTA 2012 May 28 to June 2, 2012, Nagoya, Japan
- WST 2012 February 19 to February 23, 2012, Obergurgl, Austria
- ISR 2012, July 16 to 20, 2012, Valencia, Spain
activities
I am member of the following associations:- Association Computability in Europe
- Association for Computing Machinery
- Association for Symbolic Logic
- IFIP Working Group 1.6
- Kurt Gödel Society
- Steering Committee RTA (Publicity Chair)