Matthew Ballard
Professor Of Mathematics
South Carolina, United States
Summary
🤩
Rockstar🎓
Top SchoolMatthew Ballard is a Professor of Mathematics at the University of South Carolina with two decades of research and teaching experience bridging pure math, string theory, and formal verification. His work, supported by the NSF and Simons Foundation, combines deep theoretical insight with practical connections to physics and computer science. He progressed through academic ranks from assistant to full professor while holding research appointments in Vienna, Madison, and at Penn, reflecting an international research footprint. Recognized for innovative teaching, he brings classroom excellence to graduate-level research mentorship. Equally comfortable “wearing the clothes” of a physicist or computer scientist, he pursues problems where rigorous proof techniques inform computational and physical models. Based in South Carolina, he continues to weave interdisciplinary threads between mathematics, theoretical physics, and formal methods.
6 years of coding experience
13 years of employment as a software developer
Doctor of Philosophy (Ph.D.), Mathematics, Doctor of Philosophy (Ph.D.), Mathematics at University of WashingtonBachelor of Science (B.S.), Mathematics, Bachelor of Science (B.S.), Mathematics at California Institute of Technology
Github Skills (19)
programming-language10
math-library10
neovim-plugin9
nvim8
mathlib8
neovim8
tree-sitter8
mathematics6
theory5
algebra5
combinatorics5
number-theory3
discrete-mathematics3
geometry3
linear-algebra3
Programming languages (6)
Github contributions (5)
mattrobball/lean-autograding
Jan 2022 - Feb 2022
Setup for autograding of lean homework using GitHub Classroom
Contributions:59 commits in 16 days
leanmathematicsautogradinggithub-classroom
scagnt/scagnt.github.io
Jun 2022 - Mar 2026
Webpage for the University of South Carolina Algebra, Geometry, and Number Theory Group
Contributions:135 pushes in 3 years 9 months
linear-algebrasouthnumber-theoryalgebradiscrete-mathematics
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.