Rebecca Bellovin
Member at Institute for Advanced Study
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.
6 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 (51)
in-progress10
messaging9
typescript9
client-library9
common-files9
child-process9
streaming9
pulsar8
mathematics8
queuing8
pubsub8
realtime7
messaging-system7
computer-algebra-system7
sdk7
Programming languages (4)
Github contributions (5)
rmbellovin/rmbellovin.github.io
Sep 2020 - Mar 2025
Contributions:74 pushes, 1 branch in 4 years 6 months
rmbellovin/certificate-transparency
Sep 2019 - Oct 2019
Contributions:1 push in 16 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.