Project information
Centrum excelence - Institut teoretické informatiky
(CE-ITI)
- Project Identification
- GBP202/12/G061 (kod CEP: GBP202/12/G061)
- Project Period
- 1/2012 - 12/2018
- Investor / Pogramme / Project type
-
Czech Science Foundation
- Projects to promote excellence in basic research
- MU Faculty or unit
-
Faculty of Informatics
- 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.
- Cooperating Organization
-
The Academy of Sciences of the Czech Republic
- Responsible person RNDr. Ivo Starý, CSc.
- Responsible person prof. RNDr. Jaroslav Nešetřil, DrSc.
- Responsible person 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.
Publications
Total number of publications: 108
2013
-
ClabureDB: Classified Bug-Reports Database Tool for Developers of Program Analysis Tools
Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, year: 2013
-
Compact Symbolic Execution
11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, year: 2013
-
Compositional Approach to Suspension and Other Improvements to LTL Translation
Model Checking Software - 20th International Symposium, SPIN 2013, year: 2013
-
Compositional Verification and Optimization of Interactive Markov Chains
CONCUR 2013 - Concurrency Theory - 24th International Conference, year: 2013
-
Controllable-choice Message Sequence Graphs
Proceedings of Mathematical and Engineering Methods in Computer Science, 8th Doctoral Workshop (MEMICS 2012), Selected Papers, year: 2013
-
Determinacy in Stochastic Games with Unbounded Payoff Functions
Mathematical and Engineering Methods in Computer Science (MEMICS 2012), year: 2013
-
Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment
11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, year: 2013
-
MoTraS: A Tool for Modal Transition Systems and Their Extensions
Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, year: 2013
-
Planar Emulators Conjecture Is Nearly True for Cubic Graphs
The Seventh European Conference on Combinatorics, Graph Theory and Applications - Eurocomb 2013, year: 2013
-
Rabinizer 2: Small Deterministic Automata for LTL\GU
Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, year: 2013