Skip to content

Research Institute for Symbolic Computation

Home
Research
Education
Applications

News
- News
- Press
Events
- Talks
- Conferences
People
- Members
- Visitors
- Former Members
- Jobs
About Us

Michal Buran

Automated Reasoning Formal Methods Rewriting-related Techniques and Applications

Research Area

Proof Theory

Office

Room: 1.9-1

Postal Address

Phone

+447796674152 (mobile)

eMail

michal.buraan@gmail.com

Phone: +43 732 2468 9921
Fax: +43 732 2468 9930
eMail: secretary@risc.jku.at
WWW: https://www.risc.jku.at
Office: Monday-Thursday 8-16h, Friday 8-12h.

Postal Address
Research Institute for Symbolic Computation (RISC)
Johannes Kepler University
Altenbergerstraße 69
4040 Linz, Austria

Visitor Address
Research Institute for Symbolic Computation (RISC)
Schloss Hagenberg (Castle of Hagenberg)
Kirchenplatz 5b
4232 Hagenberg im Mühlkreis, Austria

Impressum
How to find us
GDPR

Wir verwenden Cookies auf unserer Website. Durch Klicken auf OK oder Scrollen stimmen Sie der Verwendung von Cookies zu. Weitere Informationen finden Sie im ImpressumOk