Investor details
Czech Science Foundation
Projects in investigation
Advanced Method for Analysis and Synthesis of Probabilistic Programs
| Faculty investigator | |
|---|---|
| Duration | 01.01.2026–31.12.2028 |
| Programme | Standard Projects |
Concise Models for Efficient Reasoning
| Faculty investigator | |
|---|---|
| Duration | 01.01.2026–31.12.2028 |
| Programme | Standard Projects |
Decompose and Explain: How to Look Inside Computer Vision Models
| Faculty investigator | |
|---|---|
| Duration | 01.01.2026–31.12.2028 |
| Programme | Standard Projects |
New and traditional structural graph measures for logic and algorithms
| Faculty investigator | |
|---|---|
| Duration | 01.01.2026–31.12.2028 |
| Programme | Standard Projects |
Unlocking the Biotechnological Potential of Thermophilic Aneurinibacilli: Towards Next Generation Synthesis of Microbial Polyesters
| Faculty investigator | |
|---|---|
| Duration | 01.01.2026–31.12.2028 |
| Programme | Standard Projects |
Algorithmic Biases in Machine Learning Models in Education
| Faculty investigator | |
|---|---|
| Duration | 01.04.2025–31.03.2028 |
| Programme | POSTDOC INDIVIDUAL FELLOWSHIP |
Matroid theory problems underpinning discrete optimization
| Faculty investigator | |
|---|---|
| Duration | 01.01.2024–31.12.2026 |
| Programme | Standard Projects |
Learned Indexing for Similarity Searching
| Faculty investigator | |
|---|---|
| Duration | 01.07.2023–30.06.2026 |
| Programme | LA Grants |
Vis4Schools: Fostering Information Visualization Literacy in Schools
| Faculty investigator | |
|---|---|
| Duration | 01.03.2022–31.07.2026 |
| Programme | LA Grants |
Completed projects
VESCAA: Verifiable and Efficient Synthesis of Controllers for Autonomous Agents
| Faculty investigator | |
|---|---|
| Duration | 01.03.2023–31.12.2025 |
| Programme | Standard Projects |
Advanced Analysis and Verification for Advanced Software
| Faculty investigator | |
|---|---|
| Duration | 01.01.2023–31.12.2025 |
| Programme | Standard Projects |
ChromeXplore: Interactive visual exploration of chromatin
| Faculty investigator | |
|---|---|
| Duration | 01.01.2023–31.12.2025 |
| Programme | Standard Projects |
New strategies in processing of multi-echo fMRI data
| Faculty investigator | |
|---|---|
| Duration | 01.01.2023–31.12.2025 |
| Programme | Standard Projects |
Unraveling the role of polyhydroxyalkanoates in Schlegelella thermodepolymerans – promising environmental bacterium for next generation biotechnology
| Faculty investigator | |
|---|---|
| Duration | 01.01.2022–31.12.2025 |
| Programme | Standard Projects |
Efektivní analýza a optimalizace pravděpodobnostních systémů a her
| Faculty investigator | |
|---|---|
| Duration | 01.01.2021–31.12.2023 |
| Programme | Standard Projects |
Jak rostlinné transposony přispívají ke "genomové krajině" a organizaci interfázních jáder
| Faculty investigator | |
|---|---|
| Duration | 01.01.2021–31.07.2025 |
| Programme | Standard Projects |
Segmentace a sledování buněk se složitým tvarem
| Faculty investigator | |
|---|---|
| Duration | 01.01.2021–31.07.2025 |
| Programme | Standard Projects |
Ověření a zlepšení bezpečnosti kryptografie eliptických křivek
| Faculty investigator | |
|---|---|
| Duration | 01.01.2020–31.12.2022 |
| Programme | Standard Projects |
Structure of tractable instances of hard algorithmic problems on graphs
| Faculty investigator | |
|---|---|
| Duration | 01.01.2020–31.12.2022 |
| Programme | Standard Projects |
Automata for Decision Procedures and Verification
| Faculty investigator | |
|---|---|
| Duration | 01.01.2019–31.12.2021 |
| Programme | Standard Projects |
Mimetic complexes and the evolution of inaccurate mimics
| Faculty investigator | |
|---|---|
| Duration | 01.01.2019–30.06.2022 |
| Programme | Standard Projects |
Modelling the future: Understanding the impact of technology on adolescent’s well-being
| Faculty investigator | |
|---|---|
| Duration | 01.01.2019–31.12.2023 |
| Programme | EXPRO |
Searching, Mining, and Annotating Human Motion Streams
| Faculty investigator | |
|---|---|
| Duration | 01.01.2019–31.12.2021 |
| Programme | Standard Projects |
Verifikace a analýza pravděpodobnostních programů
| Faculty investigator | |
|---|---|
| Duration | 01.01.2019–31.12.2021 |
| Programme | Junior projects |
Visual Analysis of Protein-Ligand Interactions
| Faculty investigator | |
|---|---|
| Duration | 01.03.2018–31.12.2020 |
| Programme | International projects |
Abstrakce a jiné techniky v semi-symbolické verifikaci programů
| Faculty investigator | |
|---|---|
| Duration | 01.01.2018–31.12.2020 |
| Programme | Standard Projects |
Algoritmy pro diskrétní systémy a hry s nekonečně mnoha stavy
| Faculty investigator | |
|---|---|
| Duration | 01.01.2018–31.12.2020 |
| Programme | Standard Projects |
Diskrétní bifurkační analýza reaktivních systémů
| Faculty investigator | |
|---|---|
| Duration | 01.01.2018–31.12.2020 |
| Programme | Standard Projects |
Hyperintensionální usuzování nad texty přirozeného jazyka
| Faculty investigator | |
|---|---|
| Duration | 01.01.2018–31.12.2020 |
| Programme | Standard Projects |
Úloha transposonů v dynamice rostlinných genomů
| Faculty investigator | |
|---|---|
| Duration | 01.01.2018–31.12.2020 |
| Programme | Standard Projects |
Algebraic Language Theory for Infinite Trees
| Faculty investigator | |
|---|---|
| Duration | 01.01.2017–31.12.2019 |
| Programme | Standard Projects |
Methods of Identification and Visualization of Tunnels for Flexible Ligands in Dynamic Proteins
| Faculty investigator | |
|---|---|
| Duration | 01.01.2017–31.12.2019 |
| Programme | Standard Projects |
Segmentace a trekování živých buněk v multimodálních obrazech
| Faculty investigator | |
|---|---|
| Duration | 01.01.2017–31.12.2019 |
| Programme | Standard Projects |
Structural properties, parameterized tractability and hardness in combinatorial problems
| Faculty investigator | |
|---|---|
| Duration | 01.01.2017–31.12.2019 |
| Programme | Standard Projects |
Advancing cryptanalytic methods through evolutionary computing
| Faculty investigator | |
|---|---|
| Duration | 01.01.2016–31.12.2018 |
| Programme | Standard Projects |
Big Data Analytics for Unstructured Data
| Faculty investigator | |
|---|---|
| Duration | 01.01.2016–31.12.2018 |
| Programme | Standard Projects |
Rényiho entropie v kvantovém zpracování informace
| Faculty investigator | |
|---|---|
| Duration | 01.01.2016–31.12.2018 |
| Programme | Standard Projects |
Vývoj spolehlivých metod pro automatizovanou kvantitativní charakterizaci buněčné motility ve fluorescenční mikroskopii
| Faculty investigator | |
|---|---|
| Duration | 01.01.2016–31.12.2018 |
| Programme | Junior projects |
Correctness Analysis of C and C++ Programs with Threads
| Faculty investigator | |
|---|---|
| Duration | 01.03.2015–31.12.2017 |
| Programme | Standard Projects |
Hyperintensionální logika pro analýzu přirozeného jazyka
| Faculty investigator | |
|---|---|
| Duration | 01.03.2015–31.12.2017 |
| Programme | Standard Projects |
Rostlinné transpozony a konformace DNA
| Faculty investigator | |
|---|---|
| Duration | 01.01.2015–31.12.2017 |
| Programme | Standard Projects |
Teorie her jako prostředek pro formální analýzu a verifikaci počítačových systémů
| Faculty investigator | |
|---|---|
| Duration | 01.01.2015–31.12.2017 |
| Programme | Standard Projects |
Získávání parametrů biologických modelů pomocí techniky ověřování modelů
| Faculty investigator | |
|---|---|
| Duration | 01.01.2015–31.12.2017 |
| Programme | Standard Projects |
Development and Study of Methods for Live Cell Quantification
| Faculty investigator | |
|---|---|
| Duration | 01.01.2014–31.12.2016 |
| Programme | Standard Projects |
Parametrizované algoritmy a kernelizace v kontextu diskrétní matematiky a logiky
| Faculty investigator | |
|---|---|
| Duration | 01.01.2014–31.12.2016 |
| Programme | Standard Projects |
Centrum excelence - Institut teoretické informatiky
| Faculty investigator | |
|---|---|
| Duration | 01.01.2012–31.12.2018 |
| Programme | Projects to promote excellence in basic research |
Centrum pro multi-modální interpretaci dat velkého rozsahu
| Faculty investigator | |
|---|---|
| Duration | 01.01.2012–31.12.2018 |
| Programme | Projects to promote excellence in basic research |
Dynamika a organizace chromosomů během buněčného cyklu a při diferenciaci v normě a patologii
| Faculty investigator | |
|---|---|
| Duration | 01.01.2012–31.12.2018 |
| Programme | Projects to promote excellence in basic research |
Dyschnet - Dynamické plánování a rozvrhování výpočetních a síťových zdrojů
| Faculty investigator | |
|---|---|
| Duration | 01.01.2012–31.12.2015 |
| Programme | Standard Projects |
Formální verifikace stochastických systémů s reálným časem
| Faculty investigator | |
|---|---|
| Duration | 01.01.2012–31.12.2014 |
| Programme | Postdoctoral projects |
Weak sources of entanglement and randomness
| Faculty investigator | |
|---|---|
| Duration | 01.01.2012–31.12.2015 |
| Programme | Standard Projects |
Bezpečnostní protokoly podporující soukromí a detekce průniku v bezdrátových senzorových sítích
| Faculty investigator | |
|---|---|
| Duration | 01.03.2011–31.12.2014 |
| Programme | Standard Projects |
Graph Drawings and Representations
| Faculty investigator | |
|---|---|
| Duration | 01.03.2011–31.12.2013 |
| Programme | Eurocores |
Software Components in Embedded Systems: Development and Verification
| Faculty investigator | |
|---|---|
| Duration | 01.03.2011–31.12.2013 |
| Programme | Standard Projects |
Well-structured combinatorial classes, width parameters, and design of efficient algorithms
| Faculty investigator | |
|---|---|
| Duration | 01.01.2011–31.12.2013 |
| Programme | Standard Projects |
Analysis and Visualization of Protein Structures
| Faculty investigator | |
|---|---|
| Duration | 01.01.2010–31.12.2012 |
| Programme | Standard Projects |
Content-based Image Retrieval on the Web Scale
| Faculty investigator | |
|---|---|
| Duration | 01.01.2010–31.12.2012 |
| Programme | Standard Projects |
Formální metody pro analýzu a verifikaci komplexních systémů
| Faculty investigator | |
|---|---|
| Duration | 01.01.2010–31.12.2014 |
| Programme | Standard Projects |
Podobnostní vyhledávání s konstantní škálovatelností
| Faculty investigator | |
|---|---|
| Duration | 01.01.2010–31.12.2012 |
| Programme | Postdoctoral projects |
Temporální aspekty znalostí a informací
| Faculty investigator | |
|---|---|
| Duration | 01.01.2010–31.12.2012 |
| Programme | Standard Projects |
Řešení obtížných dobře strukturovaných problémů: spolupráce člověka a počítače
| Faculty investigator | |
|---|---|
| Duration | 01.01.2010–31.12.2012 |
| Programme | Standard Projects |
Automated formal verification using modern hardware
| Faculty investigator | |
|---|---|
| Duration | 01.01.2009–31.12.2011 |
| Programme | Postdoctoral projects |
Dependent type system for object-oriented programming languages
| Faculty investigator | |
|---|---|
| Duration | 01.01.2009–11.03.2010 |
| Programme | Standard Projects |
Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů
| Faculty investigator | |
|---|---|
| Duration | 01.01.2009–31.12.2012 |
| Programme | Doctor grants |
Reliable Electric Power Network with Connected Alternative Power Sources
| Faculty investigator | |
|---|---|
| Duration | 01.01.2009–31.12.2013 |
| Programme | Standard Projects |
Similarity Searching in Very Large Multimedia Databases
| Faculty investigator | |
|---|---|
| Duration | 01.01.2009–31.12.2011 |
| Programme | Standard Projects |
Structural graph theory and parameterized complexity
| Faculty investigator | |
|---|---|
| Duration | 01.01.2009–31.12.2010 |
| Programme | International projects |
Triangulated models in service of haptic and virtual reality
| Faculty investigator | |
|---|---|
| Duration | 01.01.2009–31.12.2011 |
| Programme | Standard Projects |
Verification and Analysis of Large-Scale Computer Systems
| Faculty investigator | |
|---|---|
| Duration | 01.01.2009–31.12.2011 |
| Programme | Standard Projects |
In vitro and in silico identification of non-canonical DNA structures in genomic sequences
| Faculty investigator | |
|---|---|
| Duration | 01.04.2008–31.12.2010 |
| Programme | Standard Projects |
Complex similarity searching in very large data collections
| Faculty investigator | |
|---|---|
| Duration | 01.01.2008–31.12.2010 |
| Programme | Postdoctoral projects |
Formal verification: algorithms, properties of modelling formalisms amd temporal logics
| Faculty investigator | |
|---|---|
| Duration | 01.01.2008–31.12.2010 |
| Programme | Postdoctoral projects |
Molecular mechanisms of the cell proliferation and differentiation
| Duration | 01.01.2008–31.12.2011 |
|---|---|
| Programme | Doctor grants |
New possibilities in automatic verification of network protocols
| Faculty investigator | |
|---|---|
| Duration | 01.01.2008–31.12.2010 |
| Programme | Postdoctoral projects |
Utilization of Structural and Width Parametres in Combinatorics and Algorithmic Complexity
| Faculty investigator | |
|---|---|
| Duration | 01.01.2008–31.12.2010 |
| Programme | Standard Projects |
Automatic model analysis by state space exploration
| Faculty investigator | |
|---|---|
| Duration | 01.01.2007–31.12.2009 |
| Programme | Postdoctoral projects |
Dialogue generation of web presentations and graphics for visually impaired people
| Faculty investigator | |
|---|---|
| Duration | 01.01.2007–31.12.2010 |
| Programme | Standard Projects |
Distributed Index Structures for Similarity Searching
| Faculty investigator | |
|---|---|
| Duration | 01.01.2007–31.12.2009 |
| Programme | Postdoctoral projects |
Dynamic Aspects of Scheduling
| Faculty investigator | |
|---|---|
| Duration | 01.01.2007–31.12.2009 |
| Programme | Standard Projects |
Legal e-dictionary - PES
| Faculty investigator | |
|---|---|
| Duration | 01.01.2007–31.12.2011 |
| Programme | Standard Projects |
Quantum multipartite computation, communication and security
| Faculty investigator | |
|---|---|
| Duration | 01.01.2007–31.12.2009 |
| Programme | Standard Projects |
Visualization of protein structures
| Faculty investigator | |
|---|---|
| Duration | 01.01.2007–31.12.2009 |
| Programme | Standard Projects |
Automated software verification
| Faculty investigator | |
|---|---|
| Duration | 01.01.2006–31.12.2008 |
| Programme | Standard Projects |
Cryptographic random and pseudo-random number generators
| Faculty investigator | |
|---|---|
| Duration | 01.01.2006–31.12.2008 |
| Programme | Standard Projects |
Generic OO Architectures in the Computer Graphics and Virtual Reality
| Faculty investigator | |
|---|---|
| Duration | 01.01.2006–31.12.2008 |
| Programme | Postdoctoral projects |
Quantum entanglement and cryptographic and computation primitives
| Faculty investigator | |
|---|---|
| Duration | 01.01.2006–31.12.2008 |
| Programme | Postdoctoral projects |
Integrated approach to education of PhD students in the area of parallel and distributed systems
| Faculty investigator | |
|---|---|
| Duration | 01.04.2005–31.12.2008 |
| Programme | Doctor grants |
Topographic and functional characterization of telomeres in various tumor cell lines determined in situ and in vivo
| Faculty investigator | |
|---|---|
| Duration | 01.01.2005–31.12.2007 |
| Programme | Postdoctoral projects |
Translation of Czech Sentences to Transparent Intensional Logic Constructions
| Faculty investigator | |
|---|---|
| Duration | 01.01.2005–31.12.2007 |
| Programme | Standard Projects |
Early diagnostics of leukemia using DNA-microchip technology and by monitoring of epigenetic changes
| Faculty investigator | |
|---|---|
| Duration | 01.01.2004–31.12.2006 |
| Programme | Postdoctoral projects |
High-resolution cytometry of living cells
| Faculty investigator | |
|---|---|
| Duration | 01.01.2004–31.12.2006 |
| Programme | Standard Projects |
Quantum Resources and primitives
| Faculty investigator | |
|---|---|
| Duration | 01.01.2004–31.12.2006 |
| Programme | Standard Projects |
Apoptosis-inducing factor (AIF): its translocation from mitochondria and its action on nuclear chromatin
| Faculty investigator | |
|---|---|
| Duration | 01.09.2003–31.08.2006 |
| Programme | Postdoctoral projects |
The efect of methylation and acetylation on chromatin structure
| Faculty investigator | |
|---|---|
| Duration | 01.09.2003–31.08.2006 |
| Programme | Postdoctoral projects |
Threedimensional analysis of cell nuclei using image cytometry
| Faculty investigator | |
|---|---|
| Duration | 01.09.2003–31.08.2006 |
| Programme | Postdoctoral projects |
Automated Verification of Parallel and Distributed Systems
| Faculty investigator | |
|---|---|
| Duration | 01.01.2003–31.12.2005 |
| Programme | Standard Projects |
Verification of infinite-state systems
| Faculty investigator | |
|---|---|
| Duration | 01.01.2003–31.12.2005 |
| Programme | Standard Projects |
Very Large Language Corpora and Their Automatic Analysis
| Faculty investigator | |
|---|---|
| Duration | 01.01.2003–31.12.2005 |
| Programme | Standard Projects |
Chronic myeloid leukemia radiation risk estimation based on BCR-ABL distances in hemotopoietic cells
| Faculty investigator | |
|---|---|
| Duration | 01.01.2002–31.12.2004 |
| Programme | Standard Projects |
Advanced Planning and Scheduling
| Faculty investigator | |
|---|---|
| Duration | 01.01.2001–31.01.2003 |
| Programme | Standard Projects |
Investigation of the local control of gene expression using spectral microscopy and omage analysis techniques
| Faculty investigator | |
|---|---|
| Duration | 01.01.2001–31.01.2003 |
| Programme | Standard Projects |
Ionising radiation as a tool in the investigations of the cell nuclear structure and in the development of new techniques for ecology and medicine
| Duration | 01.01.2001–31.01.2003 |
|---|---|
| Programme | Standard Projects |
Quantum information processing
| Faculty investigator | |
|---|---|
| Duration | 01.01.2001–31.01.2003 |
| Programme | Standard Projects |
Algorithms and tools for practical verification of concurrent systems.
| Faculty investigator | |
|---|---|
| Duration | 01.01.2000–31.01.2002 |
| Programme | Standard Projects |
Infinite state concurrent systems - models and verification
| Faculty investigator | |
|---|---|
| Duration | 01.01.2000–31.12.2002 |
| Programme | Standard Projects |
Open systems architecture based on XML and RDF
| Faculty investigator | |
|---|---|
| Duration | 01.01.2000–31.01.2002 |
| Programme | Postdoctoral projects |
Decidability and complexity of observational equivalences on infinite - state processes
| Faculty investigator | |
|---|---|
| Duration | 01.09.1999–31.08.2002 |
| Programme | Standard Projects |
Changes in the structure of interphase nucleai of human leukemic cell lines after treatment with differentiating agents and gama irradiation
| Duration | 01.01.1999–31.01.2001 |
|---|---|
| Programme | Standard Projects |
Dialog system for support of visually impaired programmers
| Faculty investigator | |
|---|---|
| Duration | 01.01.1999–31.01.2001 |
| Programme | Standard Projects |
Image analysis in the study of interphase nucleus structure
| Faculty investigator | |
|---|---|
| Duration | 01.01.1999–31.01.2001 |
| Programme | Standard Projects |
Syntactic analysis of natural language
| Faculty investigator | |
|---|---|
| Duration | 01.01.1999–31.01.2002 |
| Programme | Standard Projects |
Syntactic analysis of natural language
| Faculty investigator | |
|---|---|
| Duration | 01.01.1999–31.01.2002 |
| Programme | Postdoctoral projects |
(Un)decidable Problems in Process Algebras
| Faculty investigator | |
|---|---|
| Duration | 01.01.1998–31.12.2000 |
| Programme | Standard Projects |
HCILAB - Human-Computer Interactions Laboratory
| Faculty investigator | |
|---|---|
| Duration | 01.01.1998–31.01.2003 |
| Programme | Complex Projects |
Informatics as the third methodology
| Faculty investigator | |
|---|---|
| Duration | 01.01.1998–31.01.2000 |
| Programme | Standard Projects |
Methods and tools of nthe design and implementation of open adaptive software architectures
| Faculty investigator | |
|---|---|
| Duration | 01.01.1998–31.01.2000 |
| Programme | Standard Projects |
Structure and Dynamics of Amino Acids
| Faculty investigator | |
|---|---|
| Duration | 01.01.1998–31.01.2000 |
| Programme | Standard Projects |
Algorithmic Verification Boundaries for Infinite-State Systems
| Faculty investigator | |
|---|---|
| Duration | 01.01.1997–31.12.1999 |
| Programme | Standard Projects |
The structure of interphase nucleus and its changes after irradiation
| Duration | 01.01.1997–31.12.1999 |
|---|---|
| Programme | Standard Projects |
Czech language in the era of computers. Text corpora and lexical and grammatical base for the development of Czech in the 21 st century
| Faculty investigator | |
|---|---|
| Duration | 01.01.1996–31.01.2001 |
| Programme | Complex Projects |
Detections of stabile chromosome aberration induced by densely ionizing radiation in human blood cells
| Duration | 01.01.1996–31.01.1998 |
|---|---|
| Programme | Standard Projects |
Computer Study of Conformational Behaviour on Biologically Interesting Molecules
| Duration | 01.01.1994–31.01.1996 |
|---|---|
| Programme | Standard Projects |
Parallel Algorithms Applicable to Computational Chemistry. Design and Implementation
| Faculty investigator | |
|---|---|
| Duration | 01.01.1994–31.01.1994 |
| Programme | Standard Projects |
Analysis of Concurrent Infinite State Systems
| Faculty investigator | |
|---|---|
| Duration | 01.01.1993–31.01.1995 |
| Programme | Standard Projects |
Computers Corpus of Czech Written Text
| Faculty investigator | |
|---|---|
| Duration | 01.01.1993–31.01.1995 |
| Programme | Standard Projects |
Language-Specific Computerized Scientific Typesetting
| Faculty investigator | |
|---|---|
| Duration | 01.01.1993–31.01.1995 |
| Programme | Standard Projects |