Matthew Weaver
Project Engineer at Allan Myers Inc.
Philadelphia, Pennsylvania, United States
Summary
👤
Senior🎓
Top SchoolMatthew Weaver is a project engineer with 11 years of hands-on experience in heavy civil construction, water infrastructure, and field engineering, currently at Allan Myers Inc. He progressed from excavation and residential construction to inspecting multimillion-dollar municipal water upgrades at the Philadelphia Water Department and helping win and execute a $22M Delcora wastewater project. Comfortable bridging office and field work, he produces takeoff estimates, manages submittals and RFIs via CMIC, writes subcontracts, and coordinates crews and suppliers to keep complex projects on schedule and compliant with PA steel and OSHA requirements. An entrepreneur as well—founder of Timberwolf Tree Service—he brings practical finance, risk management, and scheduling discipline learned running a small business through the pandemic. Unusually for a construction professional, he also contributes to formal mathematics tooling on GitHub, working on category-theory formalizations in the UniMath Coq library, demonstrating strong analytical and proof-driven thinking. Based in Philadelphia with a BS in Finance from Drexel, he combines technical project delivery with entrepreneurial grit and a knack for process automation.
11 years of coding experience
2 years of employment as a software developer
Bachelor of Science in Business Administration, Finance, Bachelor of Science in Business Administration, Finance at Drexel University's LeBow College of Business
Github Skills (8)
category-theory10
foundation-models10
formal-verification10
foundation-sites10
coq10
coq-library10
foundation10
functor9
Programming languages (3)
Github contributions (5)
UniMath/UniMath
Oct 2016 - Apr 2017
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:60 commits, 9 PRs, 6 comments in 5 months
Contributions summary:Matthew's contributions center around formalizing mathematical concepts within the UniMath library. Their work involves defining and proving theorems related to category theory, specifically focusing on concepts like slice categories, functors, and adjunctions. They are also working on the equivalence between different categorical constructions and contribute to establishing these mathematical foundations using Coq. The commits demonstrate a deep understanding of category theory and formal proof techniques.
mathematicscoqunimathcoq-libraryfoundations
mweav/UniMath
Oct 2016 - Jul 2017
Contributions:95 pushes, 12 branches in 8 months
coq-librarymathematicsbodypointaims
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.