| 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 507 53213 |
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 an associate professor at the Computational Logic Group at the University of Innsbruck, Austria. I head the research group Computation with Bounded Resources.
recommended events
- RDP 2013, June 23 – 28, 2013, RTA & TLCA, Eindhoven, Netherlands
- Joint Workshop on Termination
(WST) and on
Foundational and Practical Aspects of Resource Analysis (FOPARA)
August 28-31, Bertinoro, Italy - CiE 2014, June/July, 2014, Budapest, Hungary
- VSL 2014, July 9 – 24, 2014, Vienna, Austria
activities
- LICS organisation committee (RTA representative) and workshop chair for LICS'14
- FLoC'14 organisation committee (RTA representative)
- RTA steering committee (chair)
- coordinator for the colloquium of the Institute of Computer Science, University of Innsbruck
- reviewer for Mathematical Reviews