Technophobic computer scientist, climber, dancer, psychology and philosophy interested and board game playing hippie. My many working hours are spent on PhD research at Aarhus University in the fields of verification, algorithms, complexity theory, and logic and semantics.