doc. RNDr. Tomáš Masopust, Ph.D., DSc. docent

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
Pondělí 14:00-15:00 (domluva emailem)
Úterý 12:00-13:00 (domluva emailem)

  doc. RNDr. Tomáš Masopust, Ph.D., DSc.
E-mailWebTelefonPracovna Výuka Publikace
tomas.masopust@upol.cz https://apollo.inf.upol.cz/~masopust/ 585 634 720 5.045 stránka s výukou seznam publikací

Odborný životopis

Vzdělání

Předchozí zaměstnání

Členství

2022- Vědecká rada PřF UP Olomouc
2018- Programová komise studijního programu Inženýrská informatika, Mendelova univerzita v Brně
2010 IEEE Computer Society
2005-6 Jednota českých matematiků a fyziků

Ediční rady

2021- JDEDS
2013- Kybernetika
2009-13 International Journal of Computational Mathematics

Programové výbory

2023 IFAC WC 2023
2022 ECC 2022, WODES 2022 (co-chair)
2021 ECC 2021, DLT 2021
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

Granty