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.
21 July 2018

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

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

 

portrait April 13, 2013    

    Last modified: July 21, 2018