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., 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.
 
- 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
2017
- 
    On Simplification of Formulas with Unconstrained Variables and QuantifiersTheory and Applications of Satisfiability Testing – SAT 2017, year: 2017 
- 
    ON THREE MEASURES OF NON-CONVEXITYIsrael journal of mathematics, year: 2017, volume: 218, edition: 1, DOI 
- 
    Parameterized Shifted Combinatorial OptimizationInternational Computing and Combinatorics Conference COCOON 2017 (LNCS, volume 10392), year: 2017 
- 
    Seminator: A Tool for Semi-Determinization of Omega-AutomataProceedings of the 21th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2017), year: 2017 
2016
- 
    Android APK on-the-fly tamperingInfocommunications Journal, year: 2016, volume: 8, edition: 4 
- 
    Are there any good digraph width measures?Journal of Combinatorial Theory, Ser B, year: 2016, volume: 116, edition: 1, DOI 
- 
    Attackers in Wireless Sensor Networks Will Be Neither Random Nor Jumping – Secrecy Amplification CaseInternational Conference on Cryptology and Network Security, year: 2016 
- 
    Battery-Aware Scheduling in Low Orbit: The GomX–3 CaseFM 2016: Formal Methods: 21st International Symposium, year: 2016 
- 
    Complementing Semi-deterministic Büchi AutomataTools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, year: 2016 
- 
    Distributed synthesis in continuous time.International Conference on Foundations of Software Science and Computation Structures., year: 2016