Summary
I am a senior software engineer. Initially I worked as an iOS developer. I later switched to specializing in developing applications (frontend and backend) using statically typed functional programming languages.
Some of my professional interests are as follows:
- Creating easy to use and reliable apps that help users solve problems.
- Creating technical solutions (e.g. libraries or backend services) that are easy to use and that are robust.
I also have a PhD in philosophy. For my thesis I did research on formal logic, which has some connections to programming language theory and database theory.
Abridged Biography
I have been passionate about computers and programming since I was a teenager. In high school I graduated with a specialisation in computer studies. I ended up studying philosophy in university, however, and even went on to do a PhD in philosophy. As a graduate student I did research on logic and proof systems, a topic that is at an intersection of philosophy and computer science.
When I finished my PhD I decided not to pursue a career in academia. Instead I first attended Hacker School to prepare myself for a career switch. Following Hacker School I traveled in South East Asia as I taught myself iOS programming. Hype Alarm is one iPhone app that I created in that period. Following my travels I accepted jobs in Saigon (RingMD) and Singapore (MyDoc, Grab, Standard Chartered). After Singapore I briefly worked in Zurich (Digital Asset). Soon after I rejoined a former employer in a new location—Dubai (Standard Chartered).
Occasionally I work on open source projects. See GitHub to see some of the projects I started.
I consider myself a generalist programmer and have worked on both frontend and backend applications. I do, however, strongly prefer using statically typed languages.
I have previously lived in Brussels (10 years), Amsterdam (5 months), Beijing (7 months), New York (3 months), Saigon (8 months), Singapore (7 years), Bali (4 months), Zurich (5 months). I have been living in Dubai since April 2023.
PhD Thesis
In January 2014 I graduated from a PhD program in philosophy. For my PhD thesis I developed tableau-based proof systems for dynamic modal logics. The Clojure implementation of my theorem prover for public announcement logic is available here.