Christophspiegel Berlin
PhD Candidate
Berlin, Germany
Summary
🤩
RockstarChristophspiegel Berlin is a PhD candidate and postdoctoral researcher based in Berlin with five years of professional experience in research-driven software and engineering roles. He blends academic rigor with hands-on development, likely focusing on reproducible research and experimental software given his dual academic and GitHub identities. Comfortable operating at the intersection of theory and practice, he brings a methodical approach to problem solving and a track record of contributing to research projects and codebases. Colleagues value his ability to translate complex ideas into implementable prototypes and to navigate both academic publishing and collaborative software workflows.
5 years of coding experience
Github Skills (40)
python10
in-progress10
mathematics10
computer-algebra-system10
computer-algebra9
constrained-optimization9
math9
machine-learning9
tensorflow9
deep-learning9
theorem-proving9
hyperparameter-tuning8
keras8
neural-network8
data-science8
Programming languages (6)
Github contributions (5)
FordUniver/flagmatic
Jul 2021 - Sep 2022
A version of Flagmatic-dev that is being made Sage-friendly.
Contributions:3 PRs, 175 pushes, 5 branches in 1 year 2 months
reactnextjsdevsage
FordUniver/thebook.lean
Oct 2024 - Feb 2025
Proofs from THE BOOK written up in lean
Contributions:11 reviews, 10 PRs, 36 pushes in 4 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.