It is necessary to activate JavaScript to navigate this site.

Matematická logika a teoretická informatika (MLTCS)

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
  • mathematical logic and complexity theory
  • proof complexity
    computational complexity
    combinatorics
    on-line scheduling
    logical foundations of numbers and of the set theory
    matrix theory
 Members  
   Akbar Tabatabai  Amirhossein   Ph.D. student
   Chodounský  David   Postdoc
   Garlík  Michal   Postdoc
   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
   Pudlák  Pavel   Researcher
   Sgall  Jiří   Researcher
   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 to 2014
   de Oliveira Oliveira  Mateus   Postdoc    from 2014 to 2016
   Doucha  Michal   Ph.D. student    from 2009 2013
   Ebenlendr  Tomáš   Ph.D. student    from 2004 to 2011
   Fiedler  Miroslav   Researcher    from 1970 to 2015
   Garlík  Michal   Ph.D. student    from 2012 2013
   Glivický  Petr   Postdoc    from 2014 to 2014
   Jeż  Łukasz   Researcher    from 2011 to 2012
   Krajíček  Jan   Researcher    from 1989 to 2012
   Pich  Ján   Ph.D. student    from 2011 to 2014
   Polach  František   Ph.D. student    from 2010 to 2012
   Zajíček  Ondřej   Ph.D. student    from 2006 to 2012