Steven Keuchel
Research Expert at DistriNet Research Unit @KU Leuven
Brussels, Brussels-Capital, Belgium
Summary
🤩
Rockstar🎓
Top SchoolSteven Keuchel is a research-focused computer scientist with 14 years of experience bridging academic rigor and practical software engineering across European institutions. He holds a PhD in Computer Science from Ghent University and has held postdoctoral and visiting roles at KU Leuven, Vrije Universiteit Brussel, and the University of Pennsylvania, where he translated theoretical insights into collaborative projects and teaching. Currently a Research Expert at KU Leuven’s DistriNet unit, he combines deep formal methods and systems knowledge with hands-on software development experience dating back to an internship at Google. His career reflects a pattern of sustained academic leadership—guest professorships and multi-year postdoctoral appointments—while remaining engaged with real-world engineering challenges. Based in Brussels, he is comfortable operating at the intersection of research, education, and applied engineering, often turning complex theoretical problems into testable, reproducible artifacts. A subtle strength is his international academic trajectory (Germany, the Netherlands, Belgium, US) which has cultivated both broad technical perspectives and collaborative networks.
14 years of coding experience
6 years of employment as a software developer
Computer Science Mathematics, Computer Science Mathematics at University of MünsterDoctor of Philosophy (PhD) Computer Science, Doctor of Philosophy (PhD) Computer Science at Ghent UniversityMSc Computing Science, MSc Computing Science at Utrecht University
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (82)
specification10
linux10
symbolic-execution10
logic10
verification10
sanitization10
test-suite10
power-management10
opam9
nixos9
coq9
needle9
nix9
embedded9
nixos-configuration9
Programming languages (13)
Github contributions (5)
skeuchel/needle
Oct 2015 - Oct 2018
Needle code generator
Contributions:8 commits, 1 PR, 5 pushes in 3 years
code-generatorneedle
skeuchel/linux
Feb 2023 - Apr 2024
Linux kernel source tree
Contributions:24 pushes, 18 branches in 1 year 1 month
kernellinux-kernellinuxkernel-source
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.