Daniel Hast
Postdoctoral Researcher Dept. Of Mathematics & Statistics
Grand Rapids Metropolitan Area United States
Summary
🤩
Rockstar🎓
Top SchoolDaniel Hast is a mathematician and computational researcher with eight years of experience translating deep theoretical problems into robust software, currently a postdoc in Boston University's Department of Mathematics & Statistics. He has led simulation-driven computational projects within the Simons Collaboration and taught a wide range of courses from calculus to graduate-level algebra while mentoring student research in algebraic and arithmetic geometry. Comfortable at the intersection of academia, government, and education, he repeatedly designs interactive, civic-minded workshops (e.g., on redistricting) that make abstract mathematics practical and accessible. A skilled communicator and collaborator, he pairs technical writing and public speaking with hands-on programming to produce research software that supports multi-institutional teams. Seeking to transition into industry, he aims to apply his computational and teaching experience to software engineering and computational science projects that deliver societal impact.
8 years of coding experience
Doctor of Philosophy - PhD, Mathematics, Doctor of Philosophy - PhD, Mathematics at University of Wisconsin-MadisonBachelor of Science - BS, Mathematics (major), Physics (minor), Bachelor of Science - BS, Mathematics (major), Physics (minor) at University of Michigan
Stackoverflow
133reputation
230reached
0answers
1question
Github Skills (108)
ubuntu10
security10
vim10
system10
lua10
systemd10
operating-system10
debian10
init10
centos10
linux10
browser10
api10
ostree10
archlinux10
Programming languages (16)
Github contributions (5)
HastD/secureblue
Feb 2025 - Jul 2026
Hardened Fedora Atomic and Fedora CoreOS images
Contributions:4 PRs, 436 pushes, 209 branches in 1 year 4 months
secureblue/secureblue
Feb 2025 - Jul 2026
A security-focused desktop and server linux operating system.
Contributions:309 reviews, 239 PRs, 68 pushes in 1 year 4 months
linuxoperating-systemsecurity
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.