Superpočítání pro průmysl www.it4i.cz

Kontakt

Jméno
Ing. Stanislav Böhm, Ph.D.
Telefon
597 325 879 (EA 404)
Místnost
EA 404
Fakulta nebo úsek
9600 - IT4Innovations
Adresa
17. listopadu 15, Ostrava - Poruba

Vzdělání

Oblast vědeckého zájmu
Paralelní programovaní

Formální verifikace

Praxe


Vzdělání
2009 - 2014, VSB-TU Ostrava, FEI, obor Informatika, Ph.D.
2007 - 2009, VSB-TU Ostrava, FEI, obor Informatika, Ing.
2004 - 2007, VSB-TU Ostrava, FEI, obor Informatika, Bc.

Vědecká hodnost
Ph.D. (2014)

Ostatní odborná činnost

Významné publikace
Stanislav Böhm, Stefan Göller, Petr Jancar: Equivalence of deterministic one-counter automata is NL-complete. STOC Proceedings of the 45th annual ACM symposium on Symposium on theory of computing: 131-140

Böhm, S., Stefan Göller, Jančar, P.: Bisimilarity of One-Counter Processes Is PSPACE-Complete. In CONCUR 2010 - Concurrency Theory, 21th International Conference. 2010. 177-191. 978-3-642-15374-7

Partneři