Working area: Proof Theory
Address: Research Institute for Symbolic Computation Johannes Kepler University Altenberger Straße 69 A-4040 Linz, Austria
![](/people/pictures/mburan-screen.jpg?id=310957841")