Daniel Schemmel
Research Assistant at Imperial College London
Germany
Summary
🤩
Rockstar🎓
Top SchoolDaniel Schemmel is a Research Assistant with a decade of experience building robust back-end systems, currently based at Imperial College London after a long research tenure at RWTH Aachen. He specializes in low-level correctness and reliability, contributing fixes and modernizations to high-profile open-source projects like the Z3 theorem prover, KLEE symbolic executor, and memcached. His work often targets subtle issues—type-conversion bugs, uninitialized variables, data races, and deprecated idioms—demonstrating a focus on maintainability and compiler-safe code. Comfortable in research and production settings, he bridges academic rigor with practical engineering to harden core infrastructure. Notably, his contributions touch foundational tools used by formal methods and systems communities, reflecting deep familiarity with concurrency and symbolic execution internals.
11 years of coding experience
6 years of employment as a software developer
Bachelor of Science (B.Sc.), Computer Science, Bachelor of Science (B.Sc.), Computer Science at RWTH Aachen University
English, German
Stackoverflow
10,985reputation
587kreached
258answers
10questions
Github Skills (25)
debugging10
c-language10
multithreading10
c1110
data-structure10
c1710
klee10
z310
data-structures10
theorem-proving10
symbolic-execution10
cprogramming-language10
concurrency10
architecture9
algorithm9
Programming languages (8)
Github contributions (5)
klee/klee
May 2018 - Jun 2022
KLEE Symbolic Execution Engine
Role in this project:
Back-end Developer
Back-end DeveloperContributions:56 reviews, 13 commits, 49 PRs in 4 years 2 months
Contributions summary:Daniel made several code improvements and refactorings to the KLEE symbolic execution engine. This includes fixing fallthrough warnings in the floating point comparision, refactoring code to more modern coding standards, and implementing features such as the iterative implementation of `getArrayForUpdate`. These changes demonstrate a focus on code correctness and efficiency within the core functionality of the symbolic execution engine.
kleesymbolic-execution-enginesymbolic-execution
Z3Prover/z3
May 2018 - Jul 2019
The Z3 Theorem Prover
Role in this project:Back-end Developer
Back-end DeveloperContributions:13 commits, 9 PRs, 30 comments in 1 year 2 months
Contributions summary:Daniel primarily focused on improving the codebase's robustness and compatibility. They addressed compilation issues related to incorrect type conversions in permutation matrices and fixed potential uninitialized variable errors in multiple files. Furthermore, the user resolved issues arising from compiler warnings and deprecated idioms, demonstrating a focus on code quality and adherence to modern compiler standards. Their work included modifying core files in the Z3 Theorem Prover.
z3
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.