Login
Admission
Study forms
Departments
CU
SIS
CIS
ESS
365
Phone book
Library
E-shop
Faculty
Contacts
Notice Board
Buildings and Campuses
Organizational structure
Academic Senate
Ombudsperson
Visual Identity
Job Opportunities
More...
Students
Bachelor of Computer Science
Master of Computer Science
Master of Mathematics
Master of Physics
Academic Calendar
Study Forms
Studies Abroad
Counselling
Erasmus+
Exchange programmes
A Few Useful Hints
More...
Admissions
Why study in Prague?
Programmes
Admission Requirements
Scholarships
Costs and Dates
Visa
FAQ
Living in Prague
Application Form
Exchange programmes
Admission Contacts
More...
Public
News
Calendar
Multimedia
Alumni
Press Releases
Open Day
More...
Research, Grants, Global Relations
Cooperation
Dpt. for Business Cooperation
Partnership Programme
Donors
Internal affairs
Regulations
Forms
Guides
Library
IT and Services
Safety
Faculty
Contacts
Notice Board
Buildings and Campuses
Organizational structure
Academic Senate
Ombudsperson
Visual Identity
Job Opportunities
More...
Students
Bachelor of Computer Science
Master of Computer Science
Master of Mathematics
Master of Physics
Academic Calendar
Study Forms
Studies Abroad
Counselling
Erasmus+
Exchange programmes
A Few Useful Hints
More...
Admissions
Why study in Prague?
Programmes
Admission Requirements
Scholarships
Costs and Dates
Visa
FAQ
Living in Prague
Application Form
Exchange programmes
Admission Contacts
More...
Public
News
Calendar
Multimedia
Alumni
Press Releases
Open Day
More...
Research, Grants, Global Relations
Cooperation
Dpt. for Business Cooperation
Partnership Programme
Donors
Internal affairs
Regulations
Forms
Guides
Library
IT and Services
Safety
Admission
Study forms
Departments
CU
SIS
CIS
ESS
365
Phone book
Library
E-shop
Detailed search
Thank you! Your submission has been received!
Oops! Something went wrong while submitting the form.
close
CU MATHPHYS
Faculty
Organizational structure
205. Department of Theoretical Computer Science and Mathematical Logic
205. Department of Theoretical Computer Science and Mathematical Logic
Malostranské nám. 2/25, 118 00 Praha 1
Phone:
+420 95155 4242
Fax:
+420 951 55 4323
E-mail:
ktiml@ktiml.mff.cuni.cz
Home Page
http://ktiml.mff.cuni.cz/
People
Head of Department
prof. RNDr.
Roman Barták
, Ph.D.
Vice-Head of Department
doc. Mgr.
Petr Gregor
, Ph.D.
Scientific Secretary
RNDr.
Jan Hric
Secretary
Petra Novotná
Professors
prof. RNDr.
Roman Barták
, Ph.D.
prof. RNDr.
Ondřej Čepek
, Ph.D.
Stefan Edelkamp
, Dr. rer. nat.
Associate Professors
doc. Mgr.
Petr Gregor
, Ph.D.
doc. RNDr.
Iveta Mrázová
, CSc.
doc. Mgr.
Martin Pilát
, Ph.D.
Assistant Professor
RNDr.
Jiří Švancara
, Ph.D.
Lecturers
RNDr.
Jakub Bulín
, Ph.D.
RNDr.
Jiří Fink
, Ph.D.
RNDr.
Jan Hric
RNDr.
Petr Kučera
, Ph.D.
Mgr.
Vladan Majerech
, Dr.
RNDr.
David Obdržálek
, Ph.D.
Mgr.
Marta Vomlelová
, Ph.D.
Research Scientists
Xuzhe Dang
Mgr.
Marika Ivanová
, Ph.D.
RNDr.
Simona Ondrčková
, Ph.D.
Mgr.
Kristýna Pantůčková
, Ph.D.
Other Staff
Petra Novotná
Kryštof Pšenička
External Members
RNDr.
Petr Božovský
, CSc.
prof. RNDr. Ing.
Martin Holeňa
, CSc.
doc. RNDr.
Lukáš Chrpa
Mgr.
Gabriela Kadlecová
doc. RNDr.
Mirko Křivánek
, CSc.
doc. RNDr.
Antonín Kučera
, CSc.
doc. RNDr.
Josef Mlček
, CSc.
Mgr.
Roman Neruda
, CSc.
Mgr.
Lukáš Ondráček
Martin Plátek
, CSc.
prof. RNDr.
Milan Vlach
, DrSc.
Ph.D. Students
RNDr.
Věra Flídrová
Mgr.
Jana Glivická
Mgr.
Tomáš Hubík
Mgr.
Petr Illner
Mgr.
Lada Kudláčková
Mgr.
Matyáš Lorenc
RNDr.
Kateřina Macková
Mgr.
Jakub Mestek
Mgr.
Josef Moudřík
Mrinalini Subramanian
Mgr.
Jiří Tumpach
RNDr.
Mikuláš Zelinka
Mgr.
Peter Zvirinský
Students
Bc.
Vojtěch Hotmar
Ildefonso Padrón Peňa
Member
Mgr.
Pavel Obdržálek
Rooms
IMPAKT
,
V Holešovičkách 747/2
,
Praha 8
2nd floor:
N 236,
N 237,
N 238
Malá Strana
,
Malostranské nám. 2/25
,
Praha 1
1st floor:
S 124
2nd floor:
S 206,
S 207
3rd floor:
S 302,
S 303,
S 304,
S 305
More links
Teaching
Schedule
Exams
Student's Theses and Projects