doc. Mgr. Jan Obdržálek, PhD.
Associate professor, Department of Computer Science
Office: C413
Botanická 554/68a
602 00 Brno
Phone: | +420 549 49 4225 |
---|---|
E‑mail: |
-
Modeling, analysis, and verification (2024) (MUNI/A/1592/2023)
MU Researcher: doc. RNDr. David Svoboda, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 1/2024 — 12/2024Investor: Masaryk University / Specific research - support for student projects -
Modelování, analýza a verifikace (2023) (MUNI/A/1081/2022)
MU Researcher: doc. RNDr. David Svoboda, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 1/2023 — 12/2023Investor: Masaryk University / Specific research - support for student projects -
Rozsáhlé výpočetní systémy: modely, aplikace a verifikace XI. (MUNI/A/1145/2021)
MU Researcher: prof. RNDr. Mojmír Křetínský, CSc. MU Faculty or unit: Faculty of Informatics Project Period: 1/2022 — 12/2022Investor: Masaryk University / Specific research - support for student projects -
Structure of tractable instances of hard algorithmic problems on graphs (GA20-04567S)
MU Researcher: prof. RNDr. Petr Hliněný, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 1/2020 — 12/2022Investor: Czech Science Foundation / Standard Projects -
Inovace cvičení předmětu IB000 Matematické základy informatiky (MUNI/FR/1420/2018)
MU Researcher: doc. Mgr. Jan Obdržálek, PhD. MU Faculty or unit: Faculty of Informatics Project Period: 1/2019 — 12/2019Investor: Masaryk University / MU Development Fund -
Structural properties, parameterized tractability and hardness in combinatorial problems (GA17-00837S)
MU Researcher: prof. RNDr. Petr Hliněný, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 1/2017 — 12/2019Investor: Czech Science Foundation / Standard Projects -
Centrum excelence - Institut teoretické informatiky (GBP202/12/G061)
MU Researcher: prof. RNDr. Antonín Kučera, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 1/2012 — 12/2018Investor: Czech Science Foundation / Projects to promote excellence in basic research -
Parametrizované algoritmy a kernelizace v kontextu diskrétní matematiky a logiky (GA14-03501S)
MU Researcher: prof. RNDr. Petr Hliněný, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 1/2014 — 12/2016Investor: Czech Science Foundation / Standard Projects -
Učebna pro experimentální a projektově orientovanou výuku v oblasti počítačové bezpečnosti a formálních metod (FRVS/418/2013)
MU Researcher: prof. RNDr. Antonín Kučera, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 1/2013 — 12/2013Investor: Ministry of Education, Youth and Sports of the CR / University Development Fund -
Well-structured combinatorial classes, width parameters, and design of efficient algorithms (GAP202/11/0196)
MU Researcher: prof. RNDr. Petr Hliněný, Ph.D. MU Faculty or unit: Faculty of Informatics Project Period: 1/2011 — 12/2013Investor: Czech Science Foundation / Standard Projects