Katedra softwarového inženýrství (KSI)
Adresa: Malostranské nám. 25, 118 00 Praha 1
Telefon: 221914264
Fax: 221914323
Mail: info@ksi.mff.cuni.cz
Domácí stránka: www.ksi.mff.cuni.cz
Katedra softwarového inženýrství garantuje studijní obor Softwarové systémy a v rámci něho studijní plány databázové systémy, architektura a principy systémového prostředí, architektura a principy softwarových systémů. Katedra je rozdělena do výzkumných skupin:
- Cyber Threats Study Group
Zaměřuje se na studium bezpečnostních hrozeb v počítačových sítích, metody a postupy forensní analýzy, analýzy zranitelnosti systémů a postupy pro zvýšení bezpečnosti systémů. - Distributed Systems Research Group
Zaměřuje se na výzkum v oblasti distribuovaných softwarových komponent a jejich podporu v procesu vývoje komponent a middleware, na výzkum v oblasti formální verifikace chování softwarových komponent, a na výzkum v oblasti měření a modelování výkonnosti distribuovaných systémů. - Document Information Systems Group
Zaměřuje se na výzkum v oblasti dokumentografických informačních systémů pro ukládání a zpracování nestrukturovaných a částečně strukturovaných dokumentů, ukládání a zpracování multimediálních dokumentů, kompresi dat. - Ulita Group
Zabývá se vývojem překladačů a efektivní implementací semantického webu.
| Zaměření | Expertíza | Garant |
|---|---|---|
| Bezpečnostní hrozby | Studium bezpečnostních hrozeb v počítačových sítích. | Doc. Ing. Václav Jirovský, CSc. vaclav.jirovsky@ksi.mff.cuni.cz |
| Data mining | Inteligentní dobývání znalostí z velkých databází. | RNDr. Iveta Mrázová, CSc. iveta.mrazova@ksi.mff.cuni.cz |
| Dokumentografické informační systémy | Uložení a využití textové informace z nestrukturovaných dokumentů, komprese textu. | Prof. RNDr. Jaroslav Pokorný, CSc. jaroslav.pokorny@ksi.mff.cuni.cz |
| Dotazování s uživatelskými preferencemi | Učení uživatelských preferencí, profily uživatelů, skupinové rozhodování, nejlepší (top-k) odpověď, sémantický web. | Prof. RNDr. Peter Vojtáš, DrSc. peter.vojtas@ksi.mff.cuni.cz |
| Formální verifikace | Formální popis chování softwarových systémů, formální verifikace konkrétních vlastností. | Prof. Ing. František Plášil, Dr.Sc. frantisek.plasil@dsrg.mff.cuni.cz |
| Měření a modelování výkonnosti | Automatizované sledování změn výkonu během vývoje software, monitorování softwarových systémů. | Doc. Ing. Petr Tůma, Dr. petr.tuma@dsrg.mff.cuni.cz |
| Návrh autonomních robotů | Soutěž pro studenty v navrhování a sestrojování autonomních robotů. | RNDr. David Obdržálek david.obdrzalek@ksi.mff.cuni.cz |
| Vyhledávání v multimediálních databázích | Efektivní indexování a dotazování podle podobnosti, modelování podobnosti. | RNDr. Tomáš Skopal, PhD. tomas.skopal@ksi.mff.cuni.cz |
| Vývoj distribuovaných systémů | Middleware pro vývoj distribuovaných komponentových systémů, generování kódu. | Prof. Ing. František Plášil, Dr.Sc. frantisek.plasil@dsrg.mff.cuni.cz |
| Vývoj servisně orientovaných systémů | Softwarově inženýrské problémy specifikací, návrhu a používání servisně orientovaného softwaru. | Prof. RNDr. Jaroslav Král, DrSc. jaroslav.kral@ksi.mff.cuni.cz |