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
Elected:2006
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-11) was last updated on Wednesday, 17. January 2018, 09:45 by Kaiser Dana
  • operated by