Radek Honzik holds master’s degrees in mathematics and English Language, and Logic and Computational Linguistics, as well as a Ph.D. from the Faculty of Mathematics and Physics, Charles University, where he also successfully defended his habilitation work (Doc.) in 2019.
For three years he was a postdoctoral researcher at the Kurt Gödel Research Center for Mathematical Logic in Vienna. His research has been published in distinguished international journals including Annals of Pure and Applied Logic, The Journal of Symbolic Logic, and the Israel Journal of Mathematics. He is the co-author of the book The Hyperuniverse Project and Maximality (Springer 2018). He is interested in set theory, with emphasis on the theory of large cardinals and forcing.
For more information and the list of publications and preprints, visit here.