Students

My students, their theses, and main achievements.

PhD students

1. Aleksander Rutkowski, thesis Recursive Mahlo ordinals, currently professor at Technical University of Warsaw (Poland)
2. Zbigniew Szczepaniak, thesis Higher order constructible universe
3. Jerzy Tomasik, thesis Nasycone produkty zredukowane (Saturated reduced products), currently professor at Universite d'Auvergne (France)
4. Wlodzimierz Zadrozny, thesis Iterating ordinal definability, currently team leader in IBM Watson Research Laboratory (USA)
5. Adam Figura, thesis Drzewa Kurepy i Souslina (Kurepa and Souslin Trees)
6. Antoni Koscielski, thesis Aksjomat determinacji w arytmetyce drugiego rzedu (Determinacy in second order arithmetics), currently vice-director of the Institute of Computer Science, Wroclaw University (Poland)
7. Kostas Skandalis, thesis Programowalne funkcje rzeczywiste (Programmable real functions), currently professor at Heraklion University (Greece)
8. Miroslaw Kutylowski, thesis Small Grzegorczyk classes and relations defined by simultaneous recursion and iteration, fellow of the Alexander von Humboldt Scholarship, currently professor at Technical University of Wroclaw (Poland)
9. Wieslaw Szwast, thesis Spektra hornowskie (Horn spectra), currently at the University of Opole (Poland)
10. Ludomir Newelski, thesis Omitting types and the superstable theories, fellow of the Foundation for Polish Science ("Polish Nobel Prize"), currently professor at the University of Wroclaw (Poland)
11. Krzysztof Lorys, thesis Reversal bounded alternating Turing machines, fellow of the Alexander von Humboldt Scholarship, currently professor at the University of Wroclaw (Poland)
12. Marek Piotrow, thesis Counting and the polynomial time hierarchy, fellow of the Alexander von Humboldt Scholarship, currently at the University of Wroclaw (Poland)
13. Maciej Liskiewicz, thesis On one-tape Turing machines, fellow of the Alexander von Humboldt Scholarship, currently at the University of Lübeck (Germany)
14. Jerzy Marcinkowski, thesis Decidability problems of Horn clause implication, currently at the University of Wroclaw (Poland), member of the programme committee of the conference Rewriting Techniques and Applications (Copenhagen, Denmark)
15. Witold Charatonik, thesis Set constraints in equational theories, currently privat dozent at Max Planck Institut für Informatik, Saarbrücken (Germany)
16. Zdzislaw Splawski, thesis Proof-Theoretic Approach to Inductive Definitions in ML-like Programming Language versus Second-Order Lambda Calculus, currently at Technical University of Wroclaw (Poland)
17. Lidia Tendera, thesis Satisfiability problem for extensions of first order two-variables logic, currently at the University of Opole (Poland)
18. Pawel Rychlikowski, thesis Polymorphic Directional Types for Logic Programming, currently at the University of Wroclaw (Poland)
19. Tomasz Truderung, thesis Polymorphic Directional Types for Logic Programming, currently at the University of Wroclaw (Poland)
20. Marcin Mlotkowski, thesis Specification and optimization of the Smalltalk programs, currently at the University of Wroclaw (Poland)
21. Maciej Gebala, thesis Reconstructions of polyominos, currently at Technical University of Wroclaw (Poland)
22. Andrzej Lukaszewski, thesis Offsets and Minkowski operators for speeding up global illumination methods, currently at the University of Wroclaw (Poland)
23. Emanuel Kieronski, thesis On the Complexity of the Two-Variable Guarded Fragment with Transitive Guards, currently at the University of Wroclaw (Poland)

Some MSc students

1. Krzysztof Apt, thesis Modele arytmetyki drugiego rzedu (Models of the second order arithmetics), currently professor at CWI (Amsterdam, Holland), editor of several scientific journals
2. Ewa Graczynska, thesis Rozstrzygalnosc teorii algebr Boole'a (Decidability of the theory of Boolean algebras), currently at the University of Opole (Poland)
3. Przemyslawa Kanarek, currently at the University of Wroclaw (Poland)
4. Piotr Krysta, thesis The STO problem is NP-complete, currently post-doc at Max Planck Institut für Informatik in Saarbrücken