Hi there, I'm Florian from Freiburg 🇩🇪

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)
• Unicode Explorer, an online unicode table