Selected Topics

Institute of Computer Science
The Czech Academy of Sciences

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 combinatorics
Supervisor: Samuel Walker Braunfeld, Ph.D.
Logic and reasoning
Supervisor: doc. Ing. Petr Cintula, Ph.D., DSc.
Residuated lattices and substructural logic
Supervisor: Ing. Wesley Fussner, Ph.D.
Metalogic
Supervisor: Ing. Wesley Fussner, Ph.D.
Algebra in philosophical logic
Supervisor: Ing. Wesley Fussner, Ph.D.
Algorithmic problems in substructural logics
Supervisor: RNDr. Zuzana Haniková, Ph.D.
Structural Proof Theory
Supervisor: Mgr. Roman Kuznets, Ph.D.
Modal and substructural logics: reasoning about dynamic behaviour in computational and social context
Supervisor: Mgr. Igor Sedlár, Ph.D., Mgr. Marta Bílková, Ph.D.
Embedding large structures in graphs
Supervisor: Mgr. Diana Piguet, Ph.D.
Packing using randomized algorithms
Supervisor: Mgr. Diana Piguet, Ph.D.
Complexity measures in neural networks
Supervisor: doc. RNDr. Jiří Šíma, DrSc.

Machine Learning

Analysis of data-mining methods based on one-to-one neural networks
Supervisor: Ing. František Hakl, CSc.
Estimates of the Number of Patterns in the PAC Model for Nonconsistent Separation
Supervisor: Ing. František Hakl, CSc.
Robust classification for high-dimensional data
Supervisor: RNDr. Jan Kalina, Ph.D.
Robust estimation for neural networks
Supervisor: RNDr. Jan Kalina, Ph.D.

Complex Systems

Interactions in complex systems and their detection in time series
Supervisor: RNDr. Milan Paluš, DrSc.
Distinguishing true and spurious cross-frequency coupling in brain dynamics
Supervisor: RNDr. Milan Paluš, DrSc.
Brain Activity Modelling
Supervisor: Ing. Mgr. Jaroslav Hlinka, Ph.D.
Methods for complex system analysis
Supervisor: Ing. Mgr. Jaroslav Hlinka, Ph.D.
Analysis of complex systems using methods of complex networks
Supervisor: doc. Ing. David Hartman, Ph.D.
Graph theoretic properties of complex networks and their models
Supervisor: doc. Ing. David Hartman, Ph.D.
Metody redukce dat v environmentálnách systémech
Supervisor: prof. Ing. Emil Pelikán, CSc.

Statistical modelling

Statistical methods for longitudinal and response-time data in educational, psychological and health-related measurements
Supervisor: doc. RNDr. Patrícia Martinková, Ph.D.
Computational psychometrics
Supervisor: doc. RNDr. Patrícia Martinková, Ph.D.
Survival analysis of multivariate censored data
Supervisor: doc. Mgr. Zdeněk Valenta, Ph.D.
Statistical methods for dimensionality reduction and classification for multivariate data with applications in biomedicine.
Supervisor: doc. Mgr. Zdeněk Valenta, Ph.D.
Modern semiparametric methods and their application to modeling and evaluation of meteorological and environmental fields
Supervisor: Ing. Marek Brabec, Ph.D.

Formal Verification

Software Synthesis
Supervisor: doc.Dipl.Ing. Stefan Ratschan, Dr.-tech.
Constraint Solving
Supervisor: doc.Dipl.Ing. Stefan Ratschan, Dr.-tech.
Verification of Complex Systems
Supervisor: doc.Dipl.Ing. Stefan Ratschan, Dr.-tech.

Address

Institute of Computer Science

Pod Vodárenskou věží 271/2
182 00 Praha 8

Contact

Phone: (+420) 266 052 183
Email: ics@cs.cas.cz