Ben Toner

Melbourne, Victoria, Australia
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
Ben Toner is a technology leader who runs Draftable, an enterprise document collaboration startup, while also overseeing data science and software engineering at Vesparum Capital. Trained as a quantum physicist with a PhD from Caltech and an honorary Fellowship in the School of Physics at the University of Melbourne, he applies research rigour to product and analytics problems. He specializes in turning complex document and capital-markets workflows into practical, scalable software, blending product-minded engineering with quantitative insight. Based in Melbourne, he uniquely balances startup founding with specialized financial advisory work, bringing over a decade of cross-disciplinary technical leadership.
code12 years of coding experience
bookCalifornia Institute of Technology
bookThe University of Melbourne
stackoverflow-logo

Stackoverflow

Stats
19reputation
1kreached
2answers
0questions
github-logo-circle

Github Skills (65)

mathematical9
mathematics9
formal-methods9
arxiv9
theorem-proving9
homotopy-type-theory8
javascript8
symbolic-computation8
liquid7
proof-assistant7
math7
pyenv7
swiftui6
macos-catalina6
switch6

Programming languages (11)

TypeScriptPowerShellShellC++LeanRustTeXHTML

Github contributions (5)

github-logo-circle
Effective Altruism Australia's donation infrastructure
Contributions:319 commits, 33 PRs, 351 pushes in 2 years 3 months
charitydonation-managementnot-for-profit
bentoner/lean-liquid

Jun 2021 - Jul 2022

💧 Liquid Tensor Experiment
Contributions:178 pushes, 25 branches, 2 comments in 1 year
tensorliquidtensorflow
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.
Request Free Trial