Informatics Institute (IvI), University of Amsterdam (UvA)

In Dutch: Slides Honoursprogramma BSc. Informatica
(10 December 2018)

In Dutch: Slides PAV-bezoek TCS
(meeting was scheduled 31 October 2018, but cancelled)

MSc Computer Science (slide deck): joint degree UvA + Vrije Universiteit Amsterdam
(14 February 2019)

New journal paper with Daan Staudt online (20 April 2018) and in print:
An independent axiomatisation for free short-circuit logic, Journal of Applied Non-Classical Logics 28(1), 35-71.
Follow-up paper on arXiv: Propositional logic with short-circuit evaluation: a non-commutative and a commutative variant.
(4 October 2018)


portrait April 13, 2013    

    Last modified: February 19, 2019