Sebastian Poeplau
Software Engineer, LLVM Expert at AdaCore
Cologne Bonn Region Germany
Summary
🤩
Rockstar🎓
Top SchoolSebastian Poeplau is a software engineer and LLVM expert with 14 years of experience building performant compilers and security-focused tooling across industry and research. Based in the Cologne–Bonn region, he currently contributes to AdaCore after senior roles at Code Intelligence and a PhD at EURECOM, blending deep academic background with production-grade engineering. His work on SymCC demonstrates hands-on expertise in compiler-based symbolic execution—fixing integer literal bugs, improving memory/file handling, and optimizing fuzzing helpers to boost reliability and performance. Comfortable across security research and large-scale engineering, he brings a rare combination of low-level systems mastery and practical product delivery.
13 years of coding experience
7 years of employment as a software developer
Bachelor's Degree, Computer Science, Bachelor's Degree, Computer Science at Rheinische Friedrich-Wilhelms-Universität Bonn / University of BonnInformatik, Informatik at University of BathSeclab, Seclab at UC Santa BarbaraDoctor of Philosophy - PhD, Doctor of Philosophy - PhD at EURECOM
German, English, French, Spanish, Italian
Github Skills (7)
symbolic-execution10
compiler-design10
c-language10
cprogramming-language10
llvm10
testing9
fuzzing9
Programming languages (16)
Github contributions (5)
eurecom-s3/symcc
Jul 2020 - Jan 2023
SymCC: efficient compiler-based symbolic execution
Role in this project:
Back-end Developer
Back-end DeveloperContributions:16 reviews, 60 commits, 64 PRs in 2 years 7 months
Contributions summary:Sebastian primarily contributed to enhancing the SymCC compiler for symbolic execution. Their work involved fixing bugs related to integer literals, ensuring the correct handling of expressions, and optimizing the fuzzing helper. Furthermore, they addressed issues in the core functionality related to file interaction and memory handling, which included refactoring the code to improve its overall performance.
compilersymbolic-executionexecutionsymbolic
honeynet/ghost-usb-honeypot
Jun 2012 - Mar 2015
Contributions:90 commits, 2 pushes in 2 years 10 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.