Hey there!

My name is Florian Pigorsch. I'm a software engineer at Siemens EDA working remotely from Freiburg/Germany, where I develop formal verification software for the EDA industry
In addition to professional software development - which I mostly do in C and C++ - I spend a good part of my spare time coding on personal software projects. Most of them are web based and somehow related to maps.
If you are interested in my former scientific career, take a look at my publications.