Gian Spitzer
PhD Candidate
Toulouse, Occitania, France
Summary
👤
Senior🎓
Top SchoolGian Spitzer is a PhD candidate and software engineer based in Toulouse with nine years of experience bridging research-grade mathematics and industrial software development. His work spans geometric algorithms and Android applications, with roles from developer to co-founder and a current research focus on non-commutative combinatorics and quantum graphs at LaBRI. Trained at RWTH Aachen (MSc, BSc in Computer Science, top grades), he pairs rigorous theoretical thinking with pragmatic implementation—evident in past industry work on geometric tooling and product-grade mobile software. Fluent in abstract category-theoretic ideas (his GitHub quip hints at a fondness for monad transformers), he brings a rare mix of deep theory and hands-on engineering to projects that require both formal reasoning and robust code.
9 years of coding experience
5 years of employment as a software developer
Master of Science - MS, Computer Science, 1.1, Master of Science - MS, Computer Science, 1.1 at RWTH Aachen University
English, German, Russian, French
Github Skills (33)
kotlin10
gtk-rs10
eww10
widgets9
dbus9
linux9
stack9
ide9
ghc9
android9
gtk9
cabal9
rust8
haskell8
language-server8
Programming languages (4)
Github contributions (5)
lucalabs-de/leoapp-server
Jan 2018 - Sep 2018
Contributions:47 commits, 38 pushes, 1 branch in 7 months
lucalabs-de/end
Aug 2023 - Jul 2024
Lightweight notification daemon displaying notifications as EWW widgets
Contributions:2 releases, 6 reviews, 9 PRs in 10 months
dbusdesktop-notificationsewwhaskelllinux
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.