RNDr. Tomáš Masopust, Ph.D., DSc. odborný asistent

Oblasti zájmu

Teorie automatů - Teorie složitosti - Kyber-fyzikální systémy - Databáze - Systémy s diskrétními událostmi - Petriho sítě - Systémy a řízení - Verifikace a model checking


Konzultační hodiny
Středa 12:15-13:15. Po domluvě emailem kdykoliv.

  RNDr. Tomáš Masopust, Ph.D., DSc.
E-mailWebTelefonPracovna Výuka Publikace
tomas.masopust@upol.cz http://www.math.cas.cz/masopust 585 634 701 (katedra) 5.045 stránka s výukou seznam publikací

Odborný životopis

Vzdělání

Předchozí zaměstnání

Členství

2010 IEEE Computer Society
2005-6 Jednota českých matematiků a fyziků

Ediční rady

2013- Kybernetika
2009-13 International Journal of Computational Mathematics

Programové výbory

2020 ECC 2020
2019 SOFSEM 2019, ECC 2019, DCFS 2019
2017 DCFS 2017, NCMA 2017
2015 OrdRing 2015
2014 OrdRing 2014, ETFA 2014
2011 DCFS 2011