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 (125)
nix10
linux10
abstract-interpretation10
nixos10
azerothcore10
on-the-fly10
nixpkgs10
static-analysis9
profunctor9
bytecode9
languagetool9
trinitycore9
elisp9
cartesian9
flycheck9
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/tree-automata
Jan 2018 - May 2023
Regular tree automata library by Michael D. Adams
Contributions:3 PRs, 11 pushes, 2 branches in 5 years 4 months
binary-search-treefsm-libraryregularmichaelbinary-tree
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.