I'm currently post-doctorant in the University of Innsbruck, working together with Georg Moser. I'm interested in theoretical computer science, especially in parallel computation models (interaction nets), functional programming and type systems (linear logic).
Affiliation
Computation with Bounded Resources Group,Computational Logic Group,
Institute of Computer Science,
University of Innsbruck.