Krzysztof R. Apt#
Membership Number: | 2406 |
Membership type: | ORDINARY |
Section: | INFORMATICS |
Elected: | 2006 |
Main Country of Residence: | THE NETHERLANDS |
Homepage(s): | http://homepages.cwi.nl/~apt |
Present and Previous Positions
- 1987 - present, senior researcher (from 2008 CWI Fellow), CWI (Centre for Math. and Comp. Science), Amsterdam, The Netherlands
- 1991 - present, Full Professor, Institute for Language, Logic and Computation, University of Amsterdam, The Netherlands
- 2002 - 2005 Visiting Professor, Computer Science Department, National University of Singapore, Singapore
- 1987 - 1990, William B. Blakemore II Professor, Dept. of Computer Sciences, University of Austin, Texas, U.S.A.
- 1981 - 1987 CNRS, Chargé de recherche, University of Paris and (1986 – 1987) Ecole Normale Superieure, Paris, France
- 1978 - 1981 Assistant Professor, Dept. of Economics, Erasmus University, Rotterdam, The Netherlands
- 1974 - 1975 Postdoc, Dept. of Mathematics, Catholic University of Nijmegen, Nijmegen, The Netherlands
- 1974 - 1975 Assistant Professor, Institute of Mathematics, Polish Academy of Sciences, Warsaw, Poland
- 1974 PhD in mathematics, Institute of Mathematics, Polish Academy of Sciences, Warsaw, Poland
Fields of Scholarship
- Logical aspects of computer science
- Program verification and semantics
- Game theory and mechanism design