Head: Pudlák Pavel RNDr., DrSc.
Our department traditionally focuses on logic, algebra, combinatorics and theoretical computer science. Currently the main topics are proof complexity, bounded arithmetic, and computational complexity, complemented with researcher into finite combinatorics, set theory, and geometry.
Research themes
Members
|
Cancino Manriquez Jonathan
Postdoc
Chodounský David Researcher Folwarczný Lukáš Ph.D. student Gavinsky Dmytro Researcher Hrubeš Pavel Researcher Hubáček Pavel Researcher Jeřábek Emil Researcher Khaniki Erfan Ph.D. student Komenda Jan Researcher |
Lambie-Hanson Christopher
Researcher
Le Hong Van Researcher Masopust Tomáš Researcher Part Fedor Postdoc Pudlák Pavel Researcher Stejskalová Šárka Postdoc Thapen Neil Dillip Researcher Uhrik Dávid Ph.D. student |
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
|
Akbar Tabatabai Amirhossein
Ph.D. student
from 2014 to 2018
Bulánek Jan Ph.D. student from 2010 to 2014 Chatterjee Prerona Postdoc from 2022 to 2022 Chodounský David Postdoc from 2011 to 2016 de Oliveira Oliveira Mateus Postdoc from 2014 to 2016 de Rezende Susanna F. Postdoc from 2019 to 2021 Doucha Michal Ph.D. student from 2009 to 2013 Ebenlendr Tomáš Ph.D. student from 2004 to 2011 Fiedler Miroslav Researcher from 1970 to 2015 Garbe Frederik Postdoc from 2018 to 2020 Garlík Michal Ph.D. student from 2012 to 2013 Garlík Michal Postdoc from 2016 to 2016 Glivický Petr Postdoc from 2014 to 2014 Godoy Soto José Damián Postdoc from 2021 to 2022 Grebík Jan Ph.D. student from 2015 to 2020 Gryaznov Svyatoslav Ph.D. student from 2021 to 2021 Hancock Robert Postdoc from 2018 to 2019 Hladký Jan Researcher from 2014 to 2021 Horská Anna Ph.D. student from 2011 to 2017 |
Jalali Keshavarz Raheleh
Ph.D. student
from 2015 to 2020
Jeż Łukasz Researcher from 2011 to 2013 Juškevičius Tomas Researcher from 2020 to 2021 Koucký Michal Researcher from 2004 to 2018 Krajíček Jan Researcher from 1989 to 2012 Kuzeljević Boriša Postdoc from 2017 to 2018 Matsunaga Hiroaki Postdoc from 2019 to 2019 Pakhomov Fedor Postdoc from 2019 to 2020 Pelekis Christos Researcher from 2018 to 2019 Pich Ján Postdoc from 2019 to 2021 Pich Ján Ph.D. student from 2011 to 2014 Polach František Ph.D. student from 2010 to 2012 Sgall Jiří Researcher from 1994 to 2016 Šottová Viera Ph.D. student from 2018 to 2019 Šottová Viera Ph.D. student from 2019 to 2019 Stejskalová Šárka Ph.D. student from 2017 to 2018 Talebanfard Navid Postdoc from 2016 to 2022 Zajíček Ondřej Ph.D. student from 2006 to 2012 Zapletal Jindřich Researcher from 2009 to 2022 |
