Osiągnięcia

Moje ważniejsze osiągnięcia:

• Nagrody i odznaczenia
• Dłuższe pobyty za granicą
• Zaproszone wykłady na dużych konferencjach międzynarodowych
• Zaproszone wykłady na innych konferencjach
• Prace w organizacjach międzynarodowych
• Pełnione funkcje

Patrz też:

• Lista publikacji
• Członokostwo w komitetach redakcyjnych czasopism
• Uczniowie
• Konferencje
• Granty
• Życiorys

Nagrody i odznaczenia

1. Nagroda dla Młodych Matematyków Polskiego Towarzystwa Matematycznego (1970)
2. Nagroda Banacha (1974)
3. Nagroda Wydziału III PAN (1975)
4. Nagroda Jurzykowskiego (1994, New York, USA)
5. Krzyż Kawalerski Orderu Odrodzenia Polski (2000)

Dłuższe pobyty za granicą

1. 1972, post-doc w University of California, Berkeley, USA (6 miesięcy)
2. 1974, profesor wizytujący w Catholic University, Nijmegen, Holandia (3 miesiące)
3. 1980, profesor wizytujący w Simon Fraser University, Kanada (6 miesięcy)
4. 1980, profesor wizytujący w Yale University, USA (3 miesiące)
5. 1985, profesor wizytujący w Trento University, Włochy (2 miesiące)
6. 1986, profesor wizytujący w Université Blaise Pascal, Francja (3 miesiące)
7. 1986, profesor wizytujący w Oxford University, Wielka Brytania (2 miesiące)
8. 1989, profesor wizytujący w Trento University, Włochy (2 miesiące)
9. 1990, profesor wizytujący w Université de Caen, Francja (2 miesiące)
10. 1992, profesor wizytujący w Université de Caen, Francja (2 miesiące)
11. 1992, profesor wizytujący w INRIA-CNRS, Nancy, Francja (3 miesiące)
12. 1993, profesor wizytujący w INRIA-CNRS, Nancy, Francja (4 miesiące)
13. 1994, profesor wizytujący w Université Paris-Sud, Francja (6 miesięcy)
14. 1995, profesor wizytujący w Graduate College of Ludwigs-Maximilian University, Monachium, Niemcy (1 miesiąc)
15. 1995, profesor wizytujący w Université Nancy 1, Francja (4 miesiące)
16. 1996, profesor wizytujący w Princeton University, USA
17. 1998, profesor wizytujący w CNRS, Marsylia, Francja (3 miesiące)

Zaproszone wykłady na dużych konferencjach międzynarodowych

1. Logic Colloquium '72, Orlean, Francja, 1972
2. Logic Colloquium '82, Florencja, Włochy, 1982
3. Conference of Algebra to Commemorate the 80th Birthday of A. Malcev, Nowosybirsk, Związek Radziecki, 1989
4. Fraisse Symposium, Marsylia, Francja, 1990
5. First Summer School on Logic and Computer Science, Kreta, Grecja, 1990 (10 godzin wykładu; inni wykładowcy: J-Y. Girard, Y. Moschovakis, J. Paris)
6. 12th IEEE Symposium on Logic in Computer Science, Warszawa, Polska, 1997 (jeden z dwóch zaproszonych wykładów)
7. Computer Science Logic, Aarhus, Dania, 1997
8. Third Conference of Principles and Practice of Constraint Programming, Linz, Austria, 1997 (jeden z dwóch zaproszonych wykładów)

Zaproszone wykłady na innych konferencjach

9. Workshop on Word Equations, Tybinga, Niemcy, 1990
10. Fifth International Conference on Random Graphs, Poznań, Polska, 1991
11. Workshop on Graph Grammars, Bordeaux, Francja, 1991
12. Second International Workshop on Word equations and Related Topics, Rouen, Francja, 1991
13. Logic in Computer Science, Dagstuhl Seminar, Niemcy, 1992
14. Workshop on Unification, Dagstuhl Seminar, Niemcy, 1992
15. Conditional Term Rewriting Systems, Pont au Mousson, Francja, 1992
16. Third Kurt Gödel Colloquium, Brno, Czechy, 1993
17. Algebra and Semantics, Dagstuhl Seminar, Niemcy, 1993
18. Finite model theory, Oberwolfach, Niemcy, 1994, 1998
19. Neuvièmes Journees Francophones de Programmation Logique et Programmation par Contraintes, Marsylia, Francja, 2000

Prace w organizacjach międzynarodowych

1. Członek Europejskiego Komitetu Association for Symbolic Logic (1983-1985)
2. Przewodniczący Europejskiego Komitetu Association for Symbolic Logic (1996-1998)
3. Członek Komitetu Wykonawczego European Association for Logic in Computer Science (1992-1997)
4. Członek Komitetu Nagród K. Kuratowskiego i S. Mazura Polskiego Towarzystwa Matematycznego
5. Przewodniczący Komitetu Nagrody ACM (Association for Computing Machinery) za najlepszą pracę doktorską z informatyki (1999-2003)
6. Członek komitetu doradczego cyklicznej konferencji Logic in Computer Science organizowanej corocznie przez IEEE Technical Committee on Mathematical Foundations of Computing we współpracy z Association for Symbolic Logic, European Association for Theoretical Computer Science oraz Association for Computing Machinery
7. Członek ACM Membership Activities Board
8. Przewodniczący Association for Computing Machinery Committee on Eastern and Central Europe

Pełnione funkcje

1. Kierownik Zakładu Podstaw Matematyki w Instytucie Matematycznym PAN (1973-1993)
2. Członek Rady Naukowej Instytutu Matematycznego PAN (1976-1995)
3. Kierownik Wrocławskiego Oddziału Instytutu Matematycznego PAN (1980-1990)
4. Profesor w Instytucie Matematycznym PAN
5. Kierownik studiów doktoranckich w Instytucie Informatyki Uniwersytetu Wrocławskiego (1980-1985)
6. Kierownik Zakładu Teorii Informatyki w Instytucie Informatyki Uniwersytetu Wrocławskiego (1990-1998)
7. Profesor zwyczajny na Uniwersytecie Wrocławskim (od września 1994)
8. Kierownik Zakładu Języków Programowania w Instytucie Informatyki Uniwersytetu Wrocławskiego (od 1998)
9. Dyrektor Instytutu Informatyki Uniwersytetu Wrocławskiego (od września 1996)
10. Członek Senatu Uniwersytetu Wrocławskiego (1998-2002)
11. Członek Komitetu Informatyki PAN (od 1999)