Henrik Barthels
Computer Scientist at RelationalAI
Cologne, North Rhine-Westphalia, Germany
Summary
👤
Senior🎓
Top SchoolHenrik Barthels is a computer scientist with nine years of experience bridging research and production, currently contributing to RelationalAI after completing a Ph.D. at RWTH Aachen. He developed Linnea, a compiler that translates linear algebra problems into highly efficient code, regularly outperforming Matlab and Julia by up to an order of magnitude. Henrik also supervised development of MatchPy, a Python library for efficient symbolic pattern matching, showing his strength in both compiler construction and symbolic methods. His background includes GPU code-generation work at NVIDIA and a track record of building verification and tooling software during his academic tenure. Based in Cologne, he combines deep algorithmic knowledge with practical systems experience to turn mathematical descriptions into high-performance implementations.
9 years of coding experience
Master of Science - MS, Computer Science, Master of Science - MS, Computer Science at RWTH Aachen University
German, English
Github Skills (70)
python10
expressions10
symbolic-expressions10
pattern10
science10
julia10
matching10
pure-python10
algebra10
machine-learning10
pattern-matching10
journal9
computer-algebra-system9
julialang9
root-finding9
Programming languages (9)
Github contributions (5)
conda-forge/matchpy-feedstock
Sep 2018 - Oct 2021
A conda-smithy repository for matchpy.
Contributions:1 review, 7 PRs, 6 pushes in 3 years 2 months
pythoncondasmithy
HPAC/linnea
Sep 2017 - Sep 2021
Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.
Contributions:820 commits, 26 PRs, 614 pushes in 4 years
linear-algebraproblemslinearalgebraoptimized
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.