Krzysztof R. Apt#


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

Imprint Privacy policy « This page (revision-11) was last changed on Monday, 14. June 2021, 13:59 by Kaiser Dana
  • operated by