Florian Pigorsch
Professional C++ developer, hobbyist runner, husband & father of 2; based in Freiburg, Germany.
Professional C++ developer, hobbyist runner, husband & father of 2; based in Freiburg, Germany.
Hi, I'm Florian, a C++ software engineer with a scientific backgound in formal methods;
I'm living wth my famility in Freiburg, in the south-west corner of Germany.
Currently, I'm working as a software engineer at Siemens EDA,
where I'm developing formal verification tools for FPGA & ASIC flows.
Outside of work, I am a big fan of outdoor sports (especially running & trail running); I also try to give
back to the local running community, e.g. by co-organizing Dietenbach parkrun & maintaining the main regional
running events calendar at freiburg.run.
Feel free to contact or follow me on social media. Here's a selection of my profiles (I usually go by
florianpigorsch, fpigorsch, flopp - depending on context and
availability):
I like to tinker with software and I'm always happy to pushlish and share my little projects for others to use; here's a small number of them (find more at github):