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., MBA
- 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
2018
-
A generic framework for checking semantic equivalences between pushdown automata and finite-state automata
Journal of Computer and System Sciences, rok: 2018, ročník: 91, vydání: 1, DOI
-
Adaptive Secrecy Amplification with Radio Channel Key Extraction
2018 14th International Conference on Distributed Computing in Sensor Systems (DCOSS), rok: 2018
-
Data-centric Dynamic Partial Order Reduction
Proceedings of Symposium on Principles of Programming Languages 2018, rok: 2018
-
Entropy crowdsourcing - protocols for link key updates in wireless sensor networks
Security Protocols XXVI: 26th International Workshop, rok: 2018
-
Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes?
LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, rok: 2018
-
On the complexity of the quantified bit-vector arithmetic with binary encoding
Information Processing Letters, rok: 2018, ročník: 135, vydání: červenec 2018, DOI
-
Solving Patrolling Problems in the Internet Environment
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden., rok: 2018
-
Structure and generation of crossing-critical graphs
34th International Symposium on Computational Geometry, SoCG 2018, rok: 2018
-
Symbiotic 5: Boosted Instrumentation (Competition Contribution)
Tools and Algorithms for the Construction and Analysis of Systems, 24th International Conference, Proceedings, Part II, rok: 2018
-
Why Johnny the Developer Can't Work with Public Key Certificates: An Experimental Study of OpenSSL Usability
Topics in Cryptology – CT-RSA 2018: The Cryptographers' Track at the RSA Conference 2018, rok: 2018