Rebecca Bellovin
Member at University of Glasgow
England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolRebecca Bellovin is a postdoctoral mathematician and software engineer with six years of professional experience bridging deep theoretical research and practical distributed systems. Trained at Stanford (PhD) and Columbia (BA), her research in algebraic number theory and p-adic Hodge theory informs applied interests in cryptography and security. She has worked as a Distributed Systems Engineer at Ably Realtime and held research and fellowship roles at Imperial College, University of Glasgow, and the Institute for Advanced Study, demonstrating fluency moving between production engineering and academic inquiry. Rebecca seeks a full-time role where rigorous analytical thinking and collaborative development meet real-world security challenges. Colleagues value her ability to translate abstract mathematical structures into robust system designs and threat models. Based in England, she brings a rare combination of high-level mathematics and hands-on systems experience to cryptography-minded engineering teams.
7 years of coding experience
6 years of employment as a software developer
Bachelor of Arts - BA, Mathematics, Bachelor of Arts - BA, Mathematics at Columbia University in the City of New YorkDoctor of Philosophy - PhD, Mathematics, Doctor of Philosophy - PhD, Mathematics at Stanford University
Github Skills (35)
typescript9
math-library8
streaming8
common-files8
queuing8
messaging8
pubsub8
pulsar7
risk-assessment7
js6
apache-pulsar6
event-streaming6
client-library6
risk-analysis6
sdk5
Programming languages (4)
Github contributions (5)
rmbellovin/rmbellovin.github.io
Sep 2020 - Apr 2026
Contributions:91 pushes, 1 branch in 5 years 7 months
rmbellovin/FLT-rmb
Jun 2025 - Jun 2025
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Contributions:3 pushes, 1 branch in 6 days
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.