Full name: Krzysztof Apt
Formal name: Prof.dr. K.R. Apt
Function: CWI-Fellow

Email: Krzysztof.Apt@cwi.nl
Telephone: +31(0)20 592 4057
Room: M234
Research groups: Networks and Optimization

Research

Krzysztof Apt published four books and more than fifty journal articles, in computer science, mathematical logic and, more recently, economics. His former research dealt with semantics, verification and design of programming languages, logic and constraint programming, deductive databases and non-monotonic reasoning. His current research is concerned with game theory and multi-agent systems.

Apt is the founder of the ACM Transactions on Computational Logic, member of Academia Europea and member of the council of the European Association for Theoretical Computer Science (EATCS).

Career

2013 -	CWI-fellow DIR - Directie
2008 - 2013	CWI Fellow PNA1 - Algorithms, Combinatorics and Optimization
1997 - 2008	Scientific staff member PNA1 - Algorithms, Combinatorics and Optimization
1991 -	Professor, University of Amsterdam
1987 - 1996	Researcher AP5 - Logic and language

Selected Academic Activities

2007 -	Member science council European Association for Theoretical Computer Science - [EATCS]
2007 -	Member board of directors (conference) Theoretical Aspects of Rationality and Knowledge - [TARK]
2007 -	Advisory editor Series: Texts in Logic and Games - [TLG ]
2006 -	Member Academia Europaea
2004 -	Member advisory board Computing Research Repository - [CoRR]
2004 -	Advisory editor Journal: Logical Methods in Computer Science - [LMCS]
2001 -	Editor Journal: Theory and Practice of Logic Programming
2000	Journal/series founder Journal: ACM Transactions on Computational Logic - [TOCL]
2000 -	Area editor Journal: ACM Transactions on Computational Logic - [TOCL]
2000 - 2005	Editor-in-chief Journal: ACM Transactions on Computational Logic - [TOCL]
1989 -	Editor Journal: Journal of Logic and Computation

Selected Publications

K.R. Apt, E.R. Olderog, F.S. de Boer. Verification of Sequential and Concurrent Programs. , 1–502 Springer., 2009.

K.R. Apt, M. Wallace. Constraint Logic Programming Using ECLiPSe. , 1–329 Cambridge University Press., 2007.

K.R. Apt. The many faces of rationalizability. The B.E. Journal of Theoretical Economics 7, 1–39, 2007.

K.R. Apt. Principles of Constraint Programming. , 1–407 Cambridge University Press., 2003.

K.R. Apt. The role of commutativity in constraint propagation. ACM Transactions on Programming Languages and Systems 22, 1002–1036, 2000.

All publications (link to repository)