User:Negacthulhu

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.