Amsterdam, North Holland, Netherlands
I am a researcher and teacher in computer science, with a background in mathematics and logic. As a researcher, my focus is to bring abstract theories closer to the practical realities of software development. With my background in logic and category theory, I bring a compulsion to write clean, effective code and rigorously optimise it everywhere I go. As a contributor to open source software, I have passion for collaboration, and learning by doing. Everything from note and agenda management, to the myriad of services on my home server, to my operating system, I use software that I can dissect and learn from. I am currently a PhD candidate at the University of Leiden, working in theoretical computer science as both a researcher pushing its boundaries and a teacher establishing its foundations for the next generation. In all of my endeavours, I am principally a communicator.
Adapted an introductory logic course to be taught to a visually impaired student, and taught it over an intensive period of one month. Funded by Comenius grant to research using Minecraft to teach logic.