Osiągnięcia
Moje ważniejsze osiągnięcia:
Patrz też:
Nagrody i odznaczenia
- Nagroda dla Młodych Matematyków Polskiego Towarzystwa Matematycznego (1970)
- Nagroda Banacha (1974)
- Nagroda Wydziału III PAN (1975)
- Nagroda Jurzykowskiego (1994, New York, USA)
- Krzyż Kawalerski Orderu Odrodzenia Polski (2000)
Dłuższe pobyty za granicą
- 1972, post-doc w University of California, Berkeley, USA (6 miesięcy)
- 1974, profesor wizytujący w Catholic University, Nijmegen, Holandia (3 miesiące)
- 1980, profesor wizytujący w Simon Fraser University, Kanada (6 miesięcy)
- 1980, profesor wizytujący w Yale University, USA (3 miesiące)
- 1985, profesor wizytujący w Trento University, Włochy (2 miesiące)
- 1986, profesor wizytujący w Université Blaise Pascal, Francja (3 miesiące)
- 1986, profesor wizytujący w Oxford University, Wielka Brytania (2 miesiące)
- 1989, profesor wizytujący w Trento University, Włochy (2 miesiące)
- 1990, profesor wizytujący w Université de Caen, Francja (2 miesiące)
- 1992, profesor wizytujący w Université de Caen, Francja (2 miesiące)
- 1992, profesor wizytujący w INRIA-CNRS, Nancy, Francja (3 miesiące)
- 1993, profesor wizytujący w INRIA-CNRS, Nancy, Francja (4 miesiące)
- 1994, profesor wizytujący w Université Paris-Sud, Francja (6 miesięcy)
- 1995, profesor wizytujący w Graduate College of Ludwigs-Maximilian University, Monachium, Niemcy (1 miesiąc)
- 1995, profesor wizytujący w Université Nancy 1, Francja (4 miesiące)
- 1996, profesor wizytujący w Princeton University, USA
- 1998, profesor wizytujący w CNRS, Marsylia, Francja (3 miesiące)
Zaproszone wykłady na dużych konferencjach międzynarodowych
- Logic Colloquium '72, Orlean, Francja, 1972
- Logic Colloquium '82, Florencja, Włochy, 1982
- Conference of Algebra to Commemorate the 80th Birthday of A. Malcev, Nowosybirsk, Związek Radziecki, 1989
- Fraisse Symposium, Marsylia, Francja, 1990
- 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)
- 12th IEEE Symposium on Logic in Computer Science, Warszawa, Polska, 1997 (jeden z dwóch zaproszonych wykładów)
- Computer Science Logic, Aarhus, Dania, 1997
- 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
- Workshop on Word Equations, Tybinga, Niemcy, 1990
- Fifth International Conference on Random Graphs, Poznań, Polska, 1991
- Workshop on Graph Grammars, Bordeaux, Francja, 1991
- Second International Workshop on Word equations and Related Topics, Rouen, Francja, 1991
- Logic in Computer Science, Dagstuhl Seminar, Niemcy, 1992
- Workshop on Unification, Dagstuhl Seminar, Niemcy, 1992
- Conditional Term Rewriting Systems, Pont au Mousson, Francja, 1992
- Third Kurt Gödel Colloquium, Brno, Czechy, 1993
- Algebra and Semantics, Dagstuhl Seminar, Niemcy, 1993
- Finite model theory, Oberwolfach, Niemcy, 1994, 1998
- Neuvièmes Journees Francophones de Programmation Logique et Programmation par Contraintes, Marsylia, Francja, 2000
Prace w organizacjach międzynarodowych
- Członek Europejskiego Komitetu Association for Symbolic Logic
(1983-1985)
- Przewodniczący Europejskiego Komitetu Association for Symbolic
Logic (1996-1998)
- Członek Komitetu Wykonawczego European Association for Logic in Computer
Science (1992-1997)
- Członek Komitetu Nagród K. Kuratowskiego i S. Mazura Polskiego Towarzystwa Matematycznego
- Przewodniczący Komitetu Nagrody ACM (Association for Computing Machinery) za najlepszą pracę doktorską z informatyki (1999-2003)
- 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
- Członek ACM Membership Activities
Board
- Przewodniczący Association for Computing Machinery Committee on Eastern and
Central Europe
Pełnione funkcje
- Kierownik Zakładu Podstaw Matematyki w Instytucie Matematycznym PAN (1973-1993)
- Członek Rady Naukowej Instytutu Matematycznego PAN (1976-1995)
- Kierownik Wrocławskiego Oddziału Instytutu Matematycznego PAN (1980-1990)
- Profesor w Instytucie Matematycznym PAN
- Kierownik studiów doktoranckich w Instytucie Informatyki Uniwersytetu Wrocławskiego (1980-1985)
- Kierownik Zakładu Teorii Informatyki w Instytucie Informatyki Uniwersytetu Wrocławskiego (1990-1998)
- Profesor zwyczajny na Uniwersytecie Wrocławskim (od września 1994)
- Kierownik Zakładu Języków Programowania w Instytucie Informatyki Uniwersytetu Wrocławskiego (od 1998)
- Dyrektor Instytutu Informatyki Uniwersytetu Wrocławskiego (od września 1996)
- Członek Senatu Uniwersytetu Wrocławskiego (1998-2002)
- Członek Komitetu Informatyki PAN (od 1999)
|