Sven Keidel
Postdoctoral Security Researcher at Fraunhofer Institute for Secure Information Technology SIT
Wiesbaden, Hesse, Germany
Summary
👤
Senior🎓
Top SchoolSven Keidel is a postdoctoral security researcher with 15 years of experience specializing in static analysis and programming languages. Based at Fraunhofer SIT | ATHENE after a postdoc at TU Darmstadt, he builds tooling that makes it easier to design and implement static analyses used in IDEs, CI, compilers, and security scanners. He is a core author of the Sturdy analysis framework and has contributed to OPAL, applying his work across Scheme, JVM bytecode, and WebAssembly. His background spans doctoral training in programming languages at Delft and research at JGU Mainz, giving him deep theoretical grounding paired with practical implementation experience. Sven’s work focuses on making formal program insights usable in real development workflows, often bridging gaps between language theory and production-grade analysis platforms. Based in Wiesbaden, he combines academic rigor with engineering pragmatism to deliver reusable analysis infrastructure.
15 years of coding experience
5 years of employment as a software developer
Technischen Universität Darmstadt
Github Skills (93)
nix10
interpreter10
haskell10
static-analysis10
abstract-interpretation10
linux10
nixos10
azerothcore10
nixpkgs10
trinitycore9
cartesian9
categories9
flycheck9
syntax-checking9
gnu9
Programming languages (12)
Github contributions (5)
svenkeidel/stratego-ai
Apr 2016 - Nov 2017
Contributions:59 commits, 8 pushes, 2 branches in 1 year 7 months
svenkeidel/sturdy
Dec 2017 - Jul 2021
Sturdy is a library for developing sound static analyses in Haskell.
Contributions:395 commits, 11 PRs, 296 pushes in 3 years 7 months
haskellstatic-analysisabstract-interpretationinterpretersoundness-proof
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.