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í 8:45-9:45, 14:00-15:00
(domluva emailem)
| Web | Telefon | Pracovna | 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í
- doc. (2021), Masarykova univerzita, Brno
- DSc. (2019), Akademie Věd České Republiky
- RNDr. (2008), Matematicko-fyzikální fakulta, Univerzita Karlova
- Ph.D. (2007), Fakulta informačních technologií, Vysoké učení technické v Brně
- Mgr. (2004), Fakulta informatiky, Masarykova univerzita, Brno
Předchozí zaměstnání
- Matematický ústav AV ČR (2009-)
- Fakultät Informatik, TU Dresden (2014-17)
- Fakultät für Mathematik, Physik und Informatik, Universität Bayreuth (2012-13)
- CWI - Centrum Wiskunde & Informatica, Amsterdam (2010-11)
- Fakulta informačních technologií, Vysoké učení technické v Brně (2007-9)
- Ústav matematiky, Fakulta elektrotechnická, ČVUT (2004-5)
Členství
| 2023- | Hodnotitel NAÚ |
| 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
| 2024 | WODES 2024 |
| 2023 | IFAC WC 2023, FCT 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 |
PhD studenti:
- Jakub Večeřa
- Jiří Balun, obhájil v roce 2023
Granty
- 01/2020-12/2022: Verification and Control of Networked Discrete Event Systems, MŠMT INTER-EXCELLENCE project LTAUSA19098
- 01/2019-06/2022: Compositional Methods for the Control of Concurrent Timed Discrete-Event Systems, DFG-GAČR grant GC19-06175J
- 09/2017-12/2017: Modular and Decentralized Control of Discrete-Event and Hybrid Systems with Communication, GAČR grant GA15-02532S
- 06/2016-08/2017: Understanding Wikidata Queries
- 03/2013-12/2015: Multi-level supervisory control (MUSIC), MŠMT Kontakt II
- 01/2011-12/2013: Decentralized and coordination supervisory control, GAČR post-doc grant
- 12/2009-12/2011: Distributed Supervisory Control of Large Plants (DISC), EU FP7
- 01/2007-12/2009: Security-Oriented Research in Information Technology
- 2007: Teaching of Formal Language Theory at the International Level of EU, FR762/2007/G1