I'm working as a senior software engineer on formal verification tools at Siemens EDA.

Some of my (hobby) projects:

• flopp.net, a mapping SPA specifically targeting the needs of geocachers
• freiburg.run, a website listing all the running events of my region (Freiburg, Germany)
• socialrunclubs.de, all 'Social Run Clubs' in Germany
• parkruns.de, all parkruns in Germany
• Invisible Characters, a website about invisible unicode characters