Emma Ahrens

Interested in formal methods, computer science, discrete mathemathics, philosophical questions, ski touring, and many other (outdoor) sports.