Matt Schwennesen
Research Assistant at University of Wisconsin-Madison
Madison, Wisconsin, United States
Summary
🤩
Rockstar🎓
Top SchoolMatt Schwennesen is a PhD student and research assistant at the University of Wisconsin–Madison focused on formal verification of software, particularly verified update compatibility for Protobuf and JSON. He blends programming languages and proof-assistant work (Coq and F★) with practical tooling, having contributed to projects that generate verified marshaling/unmarshaling code and compatibility checkers. An active open-source core contributor to NetworkX, he has implemented and refactored graph algorithms—including work on TSP approximations and a graph visualization API overhaul—and improved its testing and public API. Matt’s background includes hands-on systems research (a multi-threaded C++ ANN for polygons) and multiple teaching roles, reflecting strong mentorship and communication skills. He combines nine years of coding and research experience with a knack for turning theoretical ideas into robust, usable developer tools.
9 years of coding experience
4 years of employment as a software developer
Bachelor of Science - BS Computer Science, Bachelor of Science - BS Computer Science at Michigan Technological UniversityDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at University of Wisconsin-Madison
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (11)
graph-algorithms10
graph-analysis10
python10
graph-theory10
graph-visualization9
complex-networks8
algorithms8
data-structures8
algorithm8
data-structure8
pytest6
Programming languages (11)
Github contributions (5)
networkx/networkx
Aug 2021 - Jul 2022
Network Analysis in Python
Role in this project:
Back-end Developer
Back-end DeveloperContributions:52 reviews, 10 commits, 25 PRs in 10 months
Contributions summary:Matt contributed to the `networkx` library, focusing on graph algorithms and related functionalities. Their work includes adding and refactoring algorithms, such as those related to the Traveling Salesperson Problem (TSP) and random spanning trees, and contributing to the testing framework. The user's commits also involve updating and improving documentation and the public API. Furthermore, the user made modifications to the graph structure and associated libraries.
graph-analysispythoncomplex-networksgraph-theorygraph-visualization
mjschwenne/blog.scientific-python.org
Mar 2022 - Mar 2024
Community blog posts on scientific-python.org
Contributions:2 PRs, 10 pushes, 4 branches in 2 years
pythonpostsblog-postsscientific
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.