Pavel Pudlák

Professor, Academy of Sciences of the Czech Republic
Visiting Scientist
Dates of Visit: Mar. 13May 12, 2023
Visiting Scientist
Program: Meta-Complexity
Dates of Visit: Feb. 1Mar. 31, 2023
Pavel Pudlak graduated from Charles University, Prague, in 1975. He received the title CSc (equivalent of PhD) from the Academy of Sciences of Czechoslovakia in 1978. Since then he has been working as a researcher at the Institute of Mathematics of the Czech Academy of Sciences and occasionally teaching at Charles University. He has held visiting positions at a number of universities in the US, Germany, Switzerland, France and Italy. He is currently leading a group of researchers at the Institute of Mathematics that work in logic and theoretical computer science.

Program Visits