Ik ben een softwareontwikkelaar met speciale belangstelling voor formele modellen, formele talen en taalkunde.