Biography

General Information

Scientific degrees/titles

Professional activities

Visiting positions

---

Scientific degrees/titles

1. Scientific Title of Professor: Department of Mathematics, Informatics and Mechanics, Warsaw University and The President of Poland, 1999.
2. Dr.Sc.(habilitation): Specification and verification of algorithms and data structures in first-order temporal logic, Department of Mathematics, Informatics and Mechanics, Warsaw University, 1991.
3. Ph.D.: Experimental research on a programming language suitable for operating systems design, Department of Mathematics, Informatics and Mechanics, Warsaw University, 1984.
4. M.Sc.: Algorithmic logic with recursive functions, Department of Mathematics, Informatics and Mechanics, Warsaw University, 1980.

---

Professorships

1. Professor in the AIICS, Department of Computer and Information Science, Linköping University, Linköping, Sweden.
2. Professor in the Institute of Informatics, Department of Mathematics, Informatics and Mechanics, University of Warsaw, Poland.

---

Visiting positions

1. January 2011: Visiting Professor, Warsaw School of Computer Science, Warsaw, Poland.
2. September 2006 - August 2007: Visiting Professor, Department of Computer Science, King's College, London, UK.
3. September 1994 - May 2003: Guest Professor, Department of Computer and Information Science, Linköping University, Linköping, Sweden (regular short-term visits).
4. September 1991 - June 1992: Senior Researcher, Max-Planck-Institut fuer Informatik Saarbruecken, Germany.
5. October 1986 - October 1987: SERC Senior Visiting Fellow, Department of Computing, Imperial College of Science and Technology, London, UK.

---