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.
Research themes
Members
|
Akbar Tabatabai Amirhossein
Ph.D. student
Chodounský David Researcher Folwarczný Lukáš Ph.D. student Garbe Frederik Postdoc Gavinsky Dmitry Researcher Grebík Jan Ph.D. student Hancock Robert Postdoc Hladký Jan Researcher Hrubeš Pavel Researcher Jalali Keshavarz Raheleh Ph.D. student Jeřábek Emil Researcher |
Koucký Michal
Researcher
Kuzeljević Boriša Postdoc Le Hong Van Researcher Pelekis Christos Researcher Pudlák Pavel Researcher Šottová Viera Ph.D. student Stejskalová Šárka Ph.D. student Talebanfard Navid Postdoc Thapen Neil Dillip Researcher Zapletal Jindřich Researcher |
Former members
help
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 2014
Chodounský David Postdoc from 2011 2016 de Oliveira Oliveira Mateus Postdoc from 2014 to 2016 Doucha Michal Ph.D. student from 2009 2013 Ebenlendr Tomáš Ph.D. student from 2004 2011 Fiedler Miroslav Researcher from 1970 2015 Garlík Michal Ph.D. student from 2012 2013 Garlík Michal Postdoc from 2016 to 2016 |
Glivický Petr
Postdoc
from 2014 2014
Horská Anna Ph.D. student from 2011 to 2017 Jeż Łukasz Researcher from 2011 2013 Krajíček Jan Researcher from 1989 2012 Pich Ján Ph.D. student from 2011 2014 Polach František Ph.D. student from 2010 2012 Sgall Jiří Researcher from 1994 to 2016 Zajíček Ondřej Ph.D. student from 2006 2012 |
