Krzysztof R. Apt#
| Email: | apt 'at' cwi.nl |
| Membership Number: | 2406 |
| Main Country of Residence: | THE NETHERLANDS |
| Section: | INFORMATICS |
| Date of Birth: | 1949/12/26 |
| Username: | kapt |
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
| operated by | 
|