Christoph Spiegel
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.
6 years of coding experience
Github Skills (37)
math-library10
constrained-optimization9
python9
machine-learning9
tensorflow9
deep-learning9
homotopy-type-theory8
speech-to-text8
sat-solver8
proofs8
mathematics8
combinatorics8
neural-network8
algorithm7
pytorch7
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/Csdp
Aug 2021 - Jun 2026
This is now the working repository for the CSDP project. CSDP is a solver for semidefinite programming problems. It is a COIN-OR project.
Contributions:23 pushes, 3 branches, 1 tag in 4 years 10 months
semidefinite-programmingproblemssolvercoin-orcoin
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.