Fabian Schiebel
Wissenschaftlicher Mitarbeiter at Heinz Nixdorf Institut
Paderborn, North Rhine-Westphalia, Germany
Summary
🤩
Rockstar🎓
Top SchoolFabian Schiebel is a research-focused software engineer with six years of experience in static analysis and program analysis, currently a Wissenschaftlicher Mitarbeiter at Heinz Nixdorf Institut in Paderborn. His work spans academia and applied research, including contributions to the PhASAR static analysis framework and publications on data-flow analysis for C/C++ and software product lines. At Fraunhofer IEM he continued bridging theory and practice, applying rigorous analyses to real-world codebases. Fabian holds an MS and BS in Informatics from Universität Paderborn with strong grades, reflecting a solid foundation in algorithms and software correctness. He combines deep technical expertise with an inclination for reproducible research and tool development that surfaces subtle bugs caused by preprocessor and global-variable interactions.
6 years of coding experience
Master of Science - MS, Informatics, 1,2, Master of Science - MS, Informatics, 1,2 at Universität Paderborn
Github Skills (19)
static-analysis10
modular10
compile-time10
llvm10
semantics10
persistent10
toolchain10
compiler10
cpp10
clang10
program-analysis10
raii9
persistent-data9
data-structures9
scale8
Programming languages (4)
Github contributions (5)
fabianbs96/z3
Sep 2022 - Mar 2025
The Z3 Theorem Prover
Contributions:1 review, 1 PR, 4 pushes in 2 years 6 months
provertheoremtheorem-provertheorem-provingsat-solver
shariq02/phasar
Aug 2019 - May 2020
A LLVM-based static analysis framework.
Contributions:13 PRs, 234 pushes, 11 branches in 8 months
compilersanalysis-frameworksource-code-analysisstatic-analysisllvm
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.