Krzysztof R. Apt#


Krzysztof R. Apt
Email:k.r.apt 'at' cwi.nl
Membership Number:2406
Membership type:ORDINARY
Main Country of Residence:THE NETHERLANDS
Section:INFORMATICS
Username:kapt
Homepage: 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


Imprint Privacy policy « This page (revision-9) was last updated on Monday, 14. May 2012, 14:42 by Kaiser Dana
  • operated by