Jelle Piepenbrock
Researcher at Eindhoven University of Technology
Nijmegen, Gelderland, Netherlands
Summary
👤
Senior🎓
Top SchoolJelle Piepenbrock is a researcher specializing in AI for Software Engineering, currently based at Eindhoven University of Technology with a decade of experience bridging machine learning and automated reasoning. His PhD work at Radboud focused on applying ML to automated theorem proving, complemented by research visits to Facebook AI and CIIRC where he explored neural models with memory and differential plasticity. He co-founded GraphKite to bring ML into industry workflows, demonstrating an ability to translate deep research into practical solutions across domains from genomics to computer vision. Jelle holds top‑honors degrees in Computer Science and Genetics and has a strong interdisciplinary track record connecting molecular life sciences and algorithmic research. Notably, his profile emphasizes machine learning for automated reasoning rather than typical applied ML tasks, signaling expertise in combining symbolic and neural methods. He is based in Nijmegen and brings both academic rigor and startup pragmatism to complex AI-for-code challenges.
11 years of coding experience
4 years of employment as a software developer
Molecular Life Sciences, Molecular Life Sciences at Radboud Honours AcademyBachelor of Science (B.Sc.), Molecular Life Sciences, Cum laude, Bachelor of Science (B.Sc.), Molecular Life Sciences, Cum laude at Radboud Universiteit NijmegenMaster of Science - MS, Computer Science, Cum Laude, Master of Science - MS, Computer Science, Cum Laude at Radboud University Nijmegen
Dutch, English
Stackoverflow
31reputation
264reached
0answers
1question
Github Skills (63)
pytorch10
python10
machine-learning10
multimodal10
llm10
audio10
deep-learning10
natural-language-processing10
scatter10
transformer10
speech-recognition10
nlp10
machine-learning-models9
transformers9
tree9
Programming languages (5)
Github contributions (5)
JellePiepenbrock/text2tac
Jul 2022 - Dec 2023
text2tac converts text to tactics
Contributions:1 release, 4 PRs, 117 pushes in 1 year 5 months
graphstacticsgraph
JellePiepenbrock/Boolan
Feb 2020 - May 2023
Python package to determine characteristics of Boolean functions [noise sensitivity, expected values, etc.]
Contributions:2 PRs, 3 pushes in 3 years 4 months
pythonanalysis-of-boolean-functionsboolean-functionsagemath
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.