• Functie:Postdoc


Ma t/m vr


Logic, its History and Philosophy, and Ideals of Science in the 20th Century; The Lvov-Warsaw School; Constructive Reverse Mathematics
ERC Project: Tarski’s Revolution.

Recente publicaties

Glueing continuous functions constructively;
(with Douglas Bridges)
Archive for Mathematical Logic, Volume 49, Number 5, pp 603-616, 2010.

Indecomposability of Negative Dense Subsets of R in Constructive Reverse Mathematics;
Logic Journal of IGPL 2009 17: 173--177; doi: 10.1093/jigpal/jzp002.

Factoring out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem;
A. Beckmann, C. Dimitracopoulos, B. Löwe (Eds): Logic and Theory of Algorithms (Proceedings of CiE 2008), Lecture Notes in Computer Science (LNCS), Vol. 5028, 379--388, 2008.

Indecomposability of R and R\{0} in Constructive Reverse Mathematics;
Logic Journal of IGPL 2008 16: 269--273; doi:10.1093/jigpal/jzn006.

Sequences of Real Functions on [0,1] in Constructive Reverse Mathematics;
(with Hannes Diener)
Annals of Pure and Applied Logic, Volume 157, Issue 1, pp 50--61, 2009.

Deduction Graphs with Universal Quantification;
(with Herman Geuvers)
Electronic Notes in Theoretical Computer Science, Volume 203, Issue 1, Proceedings of the Fourth International Workshop on Computing with Terms and Graphs (TERMGRAPH 2007), 93--108, 2008.

Natural Deduction: Sharing by Presentation;
PhD thesis, 2007.

From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions;
(with Herman Geuvers)
R. Kralovic and P. Urzyczyn (Eds): MFCS 2006, Lecture Notes in Computer Science (LNCS), Vol. 4162, 39--57, 2006.

Natural Deduction via Graphs: Formal Definition and Computation Rules;
(with Herman Geuvers)
Mathematical Structures in Computer Science (Special Issue on Theory and Applications of Term Graph Rewriting), Volume 17, Issue 03, pp 485--526, 2007.

An Interactive Algebra Course with Formalised Proofs and Definitions;
(with Andrea Asperti, Herman Geuvers, Lionel Mamane, and Claudio Sacerdoti Coen)
Fourth International Conference on Mathematical Knowledge Management (MKM2005), Lecture Notes in Artificial Intelligence (LNAI), Vol. 3863, ISBN: 3-540-31430-X, 315--329, 2006.

Equivalents of the (Weak) Fan Theorem;
Annals of Pure and Applied Logic, 132 (2005) 51--66


2003 Master  in Mathematics (Radboud University Nijmegen);
2007 PhD in Computer Science  (RUN);
2007– 2009 Postdoc and part-time lecturer in Mathematics (University of Canterbury, New Zealand);
Since 2009 Postdoc VU.

© Copyright Vrije Universiteit Amsterdam