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
2018
-
A generic framework for checking semantic equivalences between pushdown automata and finite-state automata
Journal of Computer and System Sciences, year: 2018, volume: 91, edition: 1, DOI
-
Adaptive Secrecy Amplification with Radio Channel Key Extraction
2018 14th International Conference on Distributed Computing in Sensor Systems (DCOSS), year: 2018
-
Data-centric Dynamic Partial Order Reduction
Proceedings of Symposium on Principles of Programming Languages 2018, year: 2018
-
Entropy crowdsourcing - protocols for link key updates in wireless sensor networks
Security Protocols XXVI: 26th International Workshop, year: 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, year: 2018
-
On the complexity of the quantified bit-vector arithmetic with binary encoding
Information Processing Letters, year: 2018, volume: 135, edition: č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., year: 2018
-
Structure and generation of crossing-critical graphs
34th International Symposium on Computational Geometry, SoCG 2018, year: 2018
-
Symbiotic 5: Boosted Instrumentation (Competition Contribution)
Tools and Algorithms for the Construction and Analysis of Systems, 24th International Conference, Proceedings, Part II, year: 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, year: 2018