Institute of Computer Science- Institute
- People
- Research
- Applications
- Events
- Library
- Jobs
Selected Topics
Institute of Computer Science AS CR is a public research organization, which, according to its founding charter does not have a doctoral degree program. The Institute focuses on basic research, however, employs PhD students and post-docs in the areas covered by the research institute.
Theoretical Computer Science
- Model theory and combinatoricsSupervisor:
- Logic and reasoningSupervisor:
- Residuated lattices and substructural logicSupervisor:
- MetalogicSupervisor:
- Algebra in philosophical logicSupervisor:
- Algorithmic problems in substructural logicsSupervisor:
- Structural Proof TheorySupervisor:
- Modal and substructural logics: reasoning about dynamic behaviour in computational and social contextSupervisor:
- Complexity measures in neural networksSupervisor:
Machine Learning
- Analysis of data-mining methods based on one-to-one neural networksSupervisor:
- Estimates of the Number of Patterns in the PAC Model for Nonconsistent SeparationSupervisor:
- Robust classification for high-dimensional dataSupervisor:
- Robust estimation for neural networksSupervisor:
Complex Systems
- Interactions in complex systems and their detection in time seriesSupervisor:
- Distinguishing true and spurious cross-frequency coupling in brain dynamicsSupervisor:
- Brain Activity ModellingSupervisor:
- Methods for complex system analysisSupervisor:
- Analysis of complex systems using methods of complex networksSupervisor:
- Graph theoretic properties of complex networks and their modelsSupervisor:
- Metody redukce dat v environmentálnách systémechSupervisor:
Statistical modelling
- Statistical methods for longitudinal and response-time data in educational, psychological and health-related measurementsSupervisor:
- Computational psychometricsSupervisor:
- Survival analysis of multivariate censored dataSupervisor:
- Statistical methods for dimensionality reduction and classification for multivariate data with applications in biomedicine.Supervisor:
- Modern semiparametric methods and their application to modeling and evaluation of meteorological and environmental fieldsSupervisor:
Formal Verification
- Software SynthesisSupervisor:
- Constraint SolvingSupervisor:
- Verification of Complex SystemsSupervisor:
Address
Institute of Computer Science
Pod Vodárenskou věží 271/2
182 00 Praha 8
