Informace o projektu
Centrum excelence - Institut teoretické informatiky
(CE-ITI)
- Kód projektu
- GBP202/12/G061 (kod CEP: GBP202/12/G061)
- Období řešení
- 1/2012 - 12/2018
- Investor / Programový rámec / typ projektu
-
Grantová agentura ČR
- Projekty na podporu excelence v základním výzkumu
- Fakulta / Pracoviště MU
-
Fakulta informatiky
- prof. RNDr. Antonín Kučera, Ph.D.
- Dr. rer. nat. Achim Blumensath
- doc. RNDr. Jan Bouda, Ph.D.
- doc. RNDr. Tomáš Brázdil, Ph.D.
- prof. RNDr. Petr Hliněný, Ph.D.
- doc. Mgr. Ondřej Klíma, Ph.D.
- prof. RNDr. Mojmír Křetínský, CSc.
- RNDr. Marek Kumpošt, Ph.D.
- doc. Mgr. Michal Kunc, Ph.D.
- prof. RNDr. Václav Matyáš, M.Sc., Ph.D.
- doc. Mgr. Jan Obdržálek, PhD.
- RNDr. Andrij Stecko, Ph.D.
- prof. RNDr. Jan Strejček, Ph.D.
- Spolupracující organizace
-
Akademie věd České republiky
- Odpovědná osoba RNDr. Ivo Starý, CSc.
- Odpovědná osoba prof. RNDr. Jaroslav Nešetřil, DrSc.
- Odpovědná osoba prof. RNDr. Zdeněk Ryjáček, DrSc.
Centrum excelence - Institut teoretické informatiky (CE-ITI) je výzkumné centrum orientované na teoretickou informatiku a matematiku. Cílem CE-ITI je být vůdčí a respektovanou výzkumnou institucí v celosvětovém kontextu a hybnou silou české teoretické informatiky a matematiky. Za tímto účelem je v CE-ITI propojena kapacita nejlepších profesorů, mladých výzkumníků a studentů z vynikajících českých institucí. Klíčové aktivity CE-ITI lze shrnout následovně: 1) Výzkum nejvyšší kvality; speciální pozornost je věnována důležitým otevřeným problémům, aktuálním trendům a novým výzkumným směrům. 2) Výchova nové generace vědců, vyhledávání a podpora talentů. 3) Koordinace a kultivace mezinárodní spolupráce, posilování postavení české informatiky a matematiky v celosvětovém kontextu.
Publikace
Počet publikací: 108
2014
-
From LTL to Deterministic Automata: A Safraless Compositional Approach
Computer Aided Verification - 26th International Conference, CAV 2014, rok: 2014
-
Chasing the Best Büchi Automata for Nested Depth-first Search Based Model Checking
11th Summer School on Modelling and Verification of Parallel Processes (MOVEP'14), rok: 2014
-
Is there a best Büchi automaton for explicit model checking?
2014 International SPIN Symposium on Model Checking of Software, rok: 2014
-
Probabilistic Bisimulation: Naturally on Distributions
CONCUR 2014 - Concurrency Theory - 25th International Conference, rok: 2014
-
Probabilistic Bisimulations for PCTL Model Checking of Interval MDPs (extended version)
Proceedings 1st International Workshop on Synthesis of Continuous Parameters, rok: 2014
-
Rabinizer 3: Safraless Translation of LTL to Small Deterministic Automata
Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, rok: 2014
-
Symbolic Memory with Pointers
Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, rok: 2014
-
The TrueCrypt On-Disk Format—An Independent View
IEEE Security & Privacy, rok: 2014, ročník: 12, vydání: 3, DOI
2013
-
Alternative Automata Characterization of Piecewise Testable Languages
Developments in Language Theory, rok: 2013
-
Analyzing probabilistic pushdown automata
Formal Methods in System Design, rok: 2013, ročník: 43, vydání: 2, DOI