Ústav informatiky AV ČR, v. v. i., je veřejná výzkumná organizace se zaměřením na základní výzkum. Mimo svou hlavní činnost se ve spolupráci s řadou univerzit podílí i na doktorských studiích a zaměstnává doktorandy a postdoktorandy v oblastech, které jsou předmětem bádání ústavu.
Teoretická informatika
- Teorie modelů a kombinatorikaVedoucí:
- Logika a usuzováníVedoucí:
- Residuované svazy a substrukturální logikaVedoucí:
- MetalogikaVedoucí:
- Algebra ve filosofické logiceVedoucí:
- Algoritmické problémy v substrukturálních logikách Vedoucí:
- Strukturální teorie důkazůVedoucí:
- Modální a substrukturální logiky: modely dynamiky chování výpočetních procesů a chování v sociálním kontextuVedoucí:
- Vnořování velkých struktur v grafechVedoucí:
- Packing pomocí randomizovaných algoritmůVedoucí:
- Složitostní míry neuronových sítíVedoucí:
Strojové učení
- Analýza možností data-miningu pomocí univalentních neuronových sítí a zobrazeníVedoucí:
- Odhady počtu vzorů v PAC modelu pro nekonzistentní metody separaceVedoucí:
- Robusní klasifikace vysoce dimenzionálních datVedoucí:
- Robustní odhady v neuronových sítíchVedoucí:
Složité systémy
- Interakce ve složitých systémech a jejich detekce v časových řadáchVedoucí:
- Identifikace mezifrekvenčních interakcí v dynamice mozku: Odlišení skutečných vazeb od artefaktů metodyVedoucí:
- Modelování mozkové aktivityVedoucí:
- Metody analýzy komplexních systémůVedoucí:
- Analýza komplexních systémů pomocí metod komplexních sítíVedoucí:
- Grafově teoretické vlastnosti komplexních sítí a jejich modelůVedoucí:
- Methods of data reduction in environmental systemsVedoucí:
Statistické modelovaní
- Statistické metody pro longitudinální data a dobu odezvy v didaktických a psychologických měřeníchVedoucí:
- Výpočetní psychometrieVedoucí:
- Analýza mnohorozměrných cenzorovaných dat o přežíváníVedoucí:
- Statistické metody pro redukci dimenzionality a klasifikaci mnohorozměrných dat, s aplikacemi v biomedicíně.Vedoucí:
- Moderní semiparametrické metody a jejich uplatnění pro modelování a vyhodnocení meteorologických a environmentálních políVedoucí:
Formální verifikace
- Software SynthesisVedoucí:
- Constraint SolvingVedoucí:
- Verification of Complex SystemsVedoucí: