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.
5 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 (33)
symbolic-math10
symbolic-computation10
computer-algebra10
proof-assistant10
dependent-types10
agda10
in-progress10
mathematics10
cas10
math10
tactics10
computer-algebra-system10
theorem10
theorem-proving10
homotopy-type-theory10
Programming languages (6)
Github contributions (5)
scagnt/scagnt.github.io
Jun 2022 - Mar 2025
Webpage for the University of South Carolina Algebra, Geometry, and Number Theory Group
Contributions:128 pushes in 2 years 9 months
linear-algebrasouthnumber-theoryalgebradiscrete-mathematics
mattrobball/lean-autograding
Jan 2022 - Feb 2022
Setup for autograding of lean homework using GitHub Classroom
Contributions:59 commits in 16 days
leanmathematicsautogradinggithub-classroom
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.