Florent Schaffhauser
Faculty & Lab Manager at Heidelberg University
Heidelberg, Baden-Württemberg, Germany
Summary
🤩
Rockstar🎓
Top SchoolFlorent Schaffhauser is a Faculty & Lab Manager at Heidelberg University with four years of professional experience and a strong academic background that includes a PhD from Université Pierre et Marie Curie and a Habilitation from the University of Strasbourg. He combines research leadership and hands-on lab management, coordinating academic operations and supporting scientific work in a leading German research environment. Based in Heidelberg, he brings deep familiarity with the European higher-education and research landscape, bridging administrative strategy with technical and experimental needs. Though primarily focused on academia rather than open-source visibility, his trajectory suggests a capacity to translate rigorous research methods into organized, reproducible lab practices that enable collaborative science.
4 years of coding experience
Habilitation à Diriger des Recherches, Habilitation à Diriger des Recherches at University of StrasbourgDoctor of Philosophy - PhD, Doctor of Philosophy - PhD at Université Pierre et Marie Curie
Github Skills (14)
mathematics10
in-progress10
computer-algebra-system10
hosts9
computer-algebra9
mathematical9
sage9
theorem-proving9
formal-methods8
math8
infrastructure7
javascript7
computer-science6
mdbook3
Programming languages (5)
Github contributions (5)
matematiflo/SumsOfSquares
Nov 2023 - Aug 2024
Summing squares in Lean
Contributions:2 reviews, 4 PRs, 173 pushes in 9 months
matematiflo/CompAssistedMath2024
Apr 2024 - Jul 2024
GitHub repository for the seminar on Computer-assisted mathematics held at the University of Heidelberg during the Summer Semester of 2024.
Contributions:41 reviews, 33 PRs, 74 pushes in 3 months
computer-algebra-systemformalizationleanmathematicssage
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.