I am an MSc student in Mathematical Logic at Universiteit van Amsterdam. I have a BS degree in Mathematics, along with a Honors BA in Philosophy.
My interests include mathematical logic (unsurprisingly), automated deduction, and philosophy.
