18101 Department of Theoretical Computer Science

Chair: doc. Ing. Jan Janoušek, Ph.D. Jan.Janousek@fit.cvut.cz tel: 2 2435 9872 

Research activities

Department of Theoretical Computer Science focuses on basic research in the area of automata theory, formal languages, grammars, compilers, stringology (string processing algorithms), arbology (tree processing algorithms), data compression and computational intelligence.

Research Groups

The Prague Stringology Club

Computational Intelligence Group

Arbology Group

Teaching in the Bachelor Informatics programme

Department of Theoretical Computer Science teaches the following mandatory mathematics modules: Mathematical Logic (BIE-MLO), Elements of Discrete Mathematics (BIE-ZDM) and Probability and Statistics (BIE-PST). The department also teaches the mandatory Automata and Grammars module (BIE-AAG) and the related Programming Languages and Compilers module (BIE-PJP). The department teaches the following modules of the Computer Science specialization that deepen students' specialist knowledge and prepare them for the follow-up master programme: Efficient Algorithms (BIE-EFA), Graph Algorithms and Complexity Theory (BIE-GRA), Efficient Implementation of Algorithms (BIE-EIA), and Data Mining (BIE-VZD).

People

Name and surname Function E-mail Phone Room
Ing. Jan Baierexternal associatebaierjan@fit.cvut.cz  
Ing. Miroslav Balík, Ph.D.assistant lecturermiroslav.balik@fit.cvut.cz+420-22435-9816311
Ing. Tomáš BartoňPh.D. studenttomas.barton@fit.cvut.cz A-1354
Ing. David Bernhauerexternal associatebernhdav@fit.cvut.cz A-1258
Ing. Václav Blažejexternal associatevaclav.blazej@fit.cvut.cz 341b
Ing. Tomáš Borovičkaassistant lecturertomas.borovicka@fit.cvut.cz A-1347
Ing. Zdeněk Buk, Ph.D.assistant lecturerzdenek.buk@fit.cvut.cz+420-22435-9719A-1144
Ing. Ondřej CvachoPh.D. studentcvachond@fit.cvut.cz  
Ing. Jan ČernýPh.D. studentjan.cerny@fit.cvut.cz A-1354
Ing. Magda FriedjungováPh.D. studentmagda.friedjungova@fit.cvut.cz A-1322
Ing. Ondřej Guth, Ph.D.assistant lecturerondrej.guth@fit.cvut.cz+420-73478-7532A-1231
prof. Ing. Michal Haindl, DrSc.professormichal.haindl@fit.cvut.cz+420-22435-9875A-1233
Ing. Marcel HlopkoPh.D. studentmarcel.hlopko@fit.cvut.cz  
doc. Ing. RNDr. Martin Holeňa, CSc.associate professormartin.holena@fit.cvut.cz A-1233
Bc. Martin Holoubekexternal associateholoumar@fit.cvut.cz  
prof. Ing. Jan Holub, Ph.D.professorjan.holub@fit.cvut.cz+420-22435-9814A-1235
Ing. Lukáš HrbekPh.D. studentlukas.hrbek@fit.cvut.cz  
Ing. Lukáš JanečekPh.D. studentlukas.janecek@fit.cvut.cz  
doc. Ing. Jan Janoušek, Ph.D.associate professorjan.janousek@fit.cvut.cz+420-22435-9881A-1224
Ing. Roman Jelínekexternal associatejelinro4@fit.cvut.cz A-1258
Bc. Radek Jirešexternal associatejiresrad@fit.cvut.cz  
doc. RNDr. Ing. Marcel Jiřina, Ph.D.associate professormarcel.jirina@fit.cvut.cz+420-22435-9879A-1237
Ing. Martin Kačer, Ph.D.assistant lecturermartin.kacer@fit.cvut.cz A-1229
doc. RNDr. Josef Kolář, CSc.associate professorjosef.kolar@fit.cvut.cz+420-22435-9872A-1227
Ing. Martin KoppPh.D. studentmartin.kopp@fit.cvut.cz  
Ing. Pavel Kordík, Ph.D.assistant lecturerpavel.kordik@fit.cvut.cz+420-22435-9815341a
Ing. Luboš KrčálPh.D. studentlubos.krcal@fit.cvut.cz  
Ing. Mikuláš KrupičkaPh.D. studentmikulas.krupicka@fit.cvut.cz  
prof. RNDr. Luděk Kučera, DrSc.professorludek.kucera@fit.cvut.cz  
Bc. Jiří Kukačkaexternal associatejiri.kukacka@fit.cvut.cz  
Bc. Jakub Kulíkexternal associatekulikjak@fit.cvut.cz  
Ing. Ondřej KuželaPh.D. studentondrej.kuzela@fit.cvut.cz A-1244
Mgr. Dana LéwováPh.D. studentlewovdan@fit.cvut.cz A-1244
Ing. Tomáš LicekPh.D. studentlicektom@fit.cvut.cz  
Juan Pablo Maldonado Lopez, Ph.D.external associatemaldojua@fit.cvut.cz  
Ing. Petr MájPh.D. studentpetr.maj@fit.cvut.cz A-1252
Ing. Josef MalíkPh.D. studentjosef.malik@fit.cvut.cz A-1258
Mgr. Petr Matyášassistant lecturerpetr.matyas@fit.cvut.cz+420-22435-9867A-1231
prof. Ing. Bořivoj Melichar, DrSc.professorborivoj.melichar@fit.cvut.cz+420-22435-9873A-1236
Bc. Peter Mituraexternal associatemiturpet@fit.cvut.cz  
Ing. Jan MotlPh.D. studentjan.motlj@fit.cvut.cz A-1322
Ing. Jan NohaPh.D. studentnohajan@fit.cvut.cz  
Ing. Jakub Novákassistant lecturerjakub.novak@fit.cvut.cz+420-22435-7987A-1258
Ing. Robin Obůrkaexternal associateoburkrob@fit.cvut.cz A-1256
Mgr. Petr PaščenkoPh.D. studentpetr.pascenko@fit.cvut.cz  
Ing. Tomáš PeckaPh.D. studentpeckato1@fit.cvut.cz  
Ing. Radomír Poláchassistant lecturerradomir.polach@fit.cvut.cz A-1256
Ing. Martin PoliakPh.D. studentmartin.poliak@fit.cvut.cz  
Ing. Petr Procházka, Ph.D.assistant lecturerpetr.prochazka@fit.cvut.cz  
Ing. Petr PulcPh.D. studentpetr.pulc@fit.cvut.cz A-1256
Ing. Karel QuastPh.D. studentkarel.quast@fit.cvut.cz A-956
Mgr. Václav RemešPh.D. studentremesvac@fit.cvut.cz  
Ing. Radek Richtrassistant lecturerradek.richtr@fit.cvut.cz+420-22435-7968A-937
Ing. Tomáš Řehořekassistant lecturertomas.rehorek@fit.cvut.cz A-1354
RNDr. Jiřina Scholtzová, Ph.D.assistant lecturerjirina.scholtzova@fit.cvut.cz+420-22435-9879A-1237
Bc. Klára Schovánkováexternal associateschovkla@fit.cvut.cz  
Ing. Alena Sochůrkováassistant lecturersochuale@fit.cvut.cz A-1254
RNDr. Ondřej Suchý, Ph.D.assistant lecturerondrej.suchy@fit.cvut.cz+420-22435-9877A-1229
Ing. Roman Svobodaexternal associatesvoboro1@fit.cvut.cz  
Ing. Tomáš ŠabataPh.D. studenttomas.sabata@fit.cvut.cz  
Ing. Eliška ŠestákováPh.D. studenteliska.sestakova@fit.cvut.cz A-1231
Ing. Martin ŠlapákPh.D. studentmartin.slapak@fit.cvut.cz A-1256
Ing. Regina Šmídováassistant lecturerregina.smidova@fit.cvut.cz+420-22435-9876A-1226
Ing. Ján TkačíkPh.D. studenttkacijan@fit.cvut.cz  
Ing. Jan Trávníčekassistant lecturerjan.travnicek@fit.cvut.cz+420-22435-9882A-1256
Ing. Kryštof Tulingerexternal associatetulinkry@fit.cvut.cz  
Ing. Ladislav Vagner, Ph.D.assistant lecturerladislav.vagner@fit.cvut.cz+420-22435-9878A-1233
RNDr. Tomáš Valla, Ph.D.assistant lecturertomas.valla@fit.cvut.cz+420-22435-9877A-1229
Ing. Radomír VávraPh.D. studentradomir.vavra@fit.cvut.cz  
Ing. Jan Žďárek, Ph.D.assistant lecturerjan.zdarek@fit.cvut.cz+420-22435-9878A-1233
Responsible person for the content of this page: 
Jan Janoušek, Jan.Janousek@fit.cvut.cz


Last modified: 10.4.2015, 15:56