Education and professional experience

from 2009	Senior Software Engineer Ergon Informatik AG
2007 — 2008	Software Engineer Avaloq Evolution AG
1999 — 2007	Doctorate of Technical Sciences, ETH Zürich Dissertation: Verifying Abstract State Machines
1995 — 1999	Diploma of Mathematics, University Of Fribourg Diploma Thesis: Elliptic Curves in Number Theory
1995	Federal Maturity, type A (Latin-Greek)

Interests

Music (listening and playing), comics, animation, board games, sport.