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.
7 years of coding experience
Master of Science - MS, Informatics, 1,2, Master of Science - MS, Informatics, 1,2 at Universität Paderborn
Github Skills (12)
program-analysis10
compiler10
static-analysis10
persistent10
cpp10
llvm10
toolchain10
persistent-data9
data-structures9
sat-solver6
theorem6
theorem-proving4
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
fabianbs96/insect-logger
Apr 2023 - Jul 2025
A simple, lightweight logger with minimalistic dependencies
Contributions:2 PRs, 20 pushes, 3 branches in 2 years 3 months
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.