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

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

MSc Computer Science (slide deck): joint degree UvA + Vrije Universiteit Amsterdam
11 October 2018

(In Dutch) Slides PAV-bezoek TCS
31 October 2017


portrait April 13, 2013    

    Last modified: October 11, 2018