Carlos Caralps
PHD Student at Bielefeld University
Bielefeld, North Rhine-Westphalia, Germany
Summary
🤩
Rockstar🎓
Top SchoolCarlos Caralps is a PhD student in Bielefeld specializing in algebraic number theory and algebraic geometry, with research focused on Heegner points, p-adic Kudla program, Euler systems and deep conjectures like Birch–Swinnerton-Dyer and Brumer–Stark. He combines strong international research experience—from Leiden and Barcelona to Laval—with a track record of undergraduate research roles and participation in education-innovation projects teaching the Lean theorem prover. Comfortable at the intersection of pure mathematics and formal verification, he is exploring how theorem provers can enhance mathematical education while pursuing advanced arithmetic research. Fluent in collaborative academic environments across Europe and Canada, he brings five years of research experience and a knack for translating abstract theory into teachable, verifiable artifacts.
5 years of coding experience
1 year of employment as a software developer
Bachelor of Science - BSc Mathematics, Bachelor of Science - BSc Mathematics at Universitat Autònoma de BarcelonaMaster of Science - MS Algebra Geometry and Number Theory, Master of Science - MS Algebra Geometry and Number Theory at Leiden UniversityExchange Program, Exchange Program at Concordia UniversityMaster of Science - MS Algebra Geometry and Number Theory, Master of Science - MS Algebra Geometry and Number Theory at University of Duisburg-Essen
Catalan, Spanish, English, French, Italian
Github Skills (10)
formal-methods8
mathematical8
theorem-proving8
mathematics8
topology6
javascript6
math6
fixed-point6
rule3
theorem2
Programming languages (3)
Github contributions (5)
Eloitor/topology-filters-notes
Dec 2021 - Dec 2021
Contributions:37 commits, 37 pushes in 2 days
carloscaralps/carloscaralps.github.io
Jan 2022 - Apr 2022
Contributions:1 PR, 62 pushes, 2 branches in 2 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.