Uczniowie

Moi uczniowie, ich rozprawy i najważniejsze osiągnięcia.

Doktoranci

1. Aleksander Rutkowski, rozprawa Recursive Mahlo ordinals, obecnie profesor Politechniki Warszawskiej
2. Zbigniew Szczepaniak, rozprawa Higher order constructible universe
3. Jerzy Tomasik, rozprawa Nasycone produkty zredukowane, obecnie profesor Universite d'Auvergne (Francja)
4. Włodzimierz Zadrożny, rozprawa Iterating ordinal definability, obecnie szef zespołu w IBM Watson Research Laboratory (USA)
5. Adam Figura, rozprawa Drzewa Kurepy i Souslina
6. Antoni Kościelski, rozprawa Aksjomat determinacji w arytmetyce drugiego rzędu, obecnie zastępca dyrektora Instytutu Informatyki
7. Kostas Skandalis, rozprawa Programowalne funkcje rzeczywiste, obecnie profesor na Uniwersytecie w Heraklionie, Grecja
8. Mirosław Kutyłowski, rozprawa Small Grzegorczyk classes and relations defined by simultaneous recursion and iteration, obecnie profesor zwyczajny na Politechnice Wrocławskiej, były stypendysta Humboldta
9. Wiesław Szwast, rozprawa Spektra hornowskie, obecnie doktor habilitowany na Uniwersytecie Opolskim
10. Ludomir Newelski, rozprawa Omitting types and the superstable theories, obecnie profesor tytularny na Uniwersytecie Wrocławskim, laureat Nagrody Fundacji Na Rzecz Nauki Polskiej (Polskiego Nobla)
11. Krzysztof Loryś, rozprawa Reversal bounded alternating Turing machines, obecnie profesor Uniwersytetu Wrocławskiego, były stypendysta Humboldta
12. Marek Piotrów, rozprawa Counting and the polynomial time hierarchy, obecnie doktor habilitowany na Uniwersytecie Wrocławskim, były stypendysta Humboldta
13. Maciej Liśkiewicz, rozprawa On one-tape Turing machines, obecnie doktor habilitowany na Uniwersytecie w Lubece (Niemcy), były stypendysta Humboldta
14. Jerzy Marcinkowski, rozprawa Decidability problems of Horn clause implication, obecnie doktor habilitowany na Uniwersytecie Wrocławskim, członek komitetu programowego konferencji Rewriting Techniques and Applications (Kopenhaga, Dania)
15. Witold Charatonik, rozprawa Set constraints in equational theories, obecnie privat dozent w Instytucie Maxa Plancka w Saarbrücken (Niemcy)
16. Zdzisław Spławski, rozprawa Proof-Theoretic Approach to Inductive Definitions in ML-like Programming Language versus Second-Order Lambda Calculus, obecnie adiunkt na Politechnice Wrocławskiej
17. Lidia Tendera, rozprawa Satisfiability problem for extensions of first order two-variables logic, obecnie adiunkt na Uniwersytecie Opolskim
18. Paweł Rychlikowski, rozprawa Polymorphic Directional Types for Logic Programming, obecnie adiunkt na Uniwersytecie Wrocławskim
19. Tomasz Truderung, rozprawa Polymorphic Directional Types for Logic Programming, obecnie adiunkt na Uniwersytecie Wrocławskim
20. Marcin Młotkowski, rozprawa Specification and optimization of the Smalltalk programs, obecnie adiunkt na Uniwersytecie Wrocławskim
21. Maciej Gębala, rozprawa Reconstructions of polyominos, obecnie adiunkt na Politechnice Wrocławskiej
22. Andrzej Łukaszewski, rozprawa Offsets and Minkowski operators for speeding up global illumination methods, obecnie na Uniwersytecie Wrocławskim
23. Emanuel Kieroński, rozprawa On the Complexity of the Two-Variable Guarded Fragment with Transitive Guards, obecnie na Uniwersytecie Wrocławskim

Niektórzy magistranci

1. Krzysztof Apt, praca Modele arytmetyki drugiego rzędu, obecnie profesor w CWI (Amsterdam, Holandia), redaktor kilku czasopism naukowych
2. Ewa Graczyńska, praca Rozstrzygalność teorii algebr Boole'a, obecnie profesor Politechniki Opolskiej
3. Przemysława Kanarek, obecnie adiunkt na Uniwersytecie Wrocławskim
4. Piotr Krysta, praca The STO problem is NP-complete, obecnie post-doc w Instytucie Maxa Plancka w Saarbrücken