EN |
Head: Pudlák Pavel Prof. RNDr., DrSc.
The research programme of this section is connected with the questions of information processing. The main topic is the theory of computational complexity which is used for clasification of algorithmic problems and plays important role also in coding and electronic communication security. Further important research fields concern general questions of logical foundations of numbers and set theory, combinatorics and matrix theory.
Chodounský David
Postdoc
de Oliveira Oliveira Mateus Postdoc Fiedler Miroslav Researcher Garlík Michal Ph.D. student Gavinsky Dmitry Researcher Grebík Jan Ph.D. student Hladký Jan Researcher Horská Anna Ph.D. student Hrubeš Pavel Researcher Jalali Keshavarz Raheleh Ph.D. student |
Jeřábek Emil
Researcher
Koucký Michal Researcher Le Hong Van Researcher Pich Ján Ph.D. student Pudlák Pavel Researcher Sgall Jiří Researcher Tabatabai Amirhossein Akbar Ph.D. student Thapen Neil Dillip Researcher Zapletal Jindřich Researcher |
Display colors for members and former members of departments (actual status):
Active member of IM
Archived former member of IM
Active Joining IM
Archived Joining IM  
Bulánek Jan
Ph.D. student
from 2010 to 2014
Doucha Michal Ph.D. student from 2009 to 2013 Ebenlendr Tomáš Ph.D. student from 2004 to 2011 Glivický Petr Postdoc from 2014 to 2014 |
Jeż Łukasz
Researcher
from 2011 to 2012
Krajíček Jan Researcher from 1989 to 2012 Polach František Ph.D. student from 2010 to 2012 Zajíček Ondřej Ph.D. student from 2006 to 2012 |