Michal Buran
RISC PostDoc
Working area: Proof Theory
Address:
Research Institute for Symbolic Computation
Johannes Kepler University
Altenberger Straße 69
A-4040 Linz, Austria
Phone: | none |
Fax: | +43 732 2468 9930 |
Mobile: | +447796674152 |
EMail: | michal.buraan@gmail.com |
Web: | http://www.risc.jku.at/home/mburan/ |
Office:
Schloss Hagenberg
A-4232 Hagenberg im Mühlkreis
Room 1.9-1
|