Mathew Polzin
Senior Software Engineer at Opal
Columbia, Missouri, United States
Summary
🤩
Rockstar🎓
Top SchoolMathew Polzin is a Senior Software Engineer with 13 years of experience, blending deep mobile expertise with recent work in solutions architecture and data pipelines. He co-founded and led mobile engineering at Vadio, built a cross-platform C++ mobile SDK, and has continued to ship cross-platform Swift libraries and Server Side Swift projects in his spare time. At Opal he evolved from hands-on mobile engineer to engineering manager and now drives platform and devops-focused solutions, implementing OpenAPI practices, Docker workflows, and a BI stack spanning Postgres, Airflow, Snowflake, and Superset. An active open-source contributor, he has improved package management, FFI tooling, and core utilities for the Idris 2 functional language, reflecting a taste for language-level and backend problems. Based in Columbia, Missouri, he combines startup product instincts with disciplined architecture and automation practices that accelerate delivery and observability.
13 years of coding experience
8 years of employment as a software developer
B.A., Computer Science, Mathematics, Biology, Environmental Science, B.A., Computer Science, Mathematics, Biology, Environmental Science at Willamette University
English
Stackoverflow
1,798reputation
73kreached
40answers
3questions
uiview
top-5%
Github Skills (17)
dependent-types10
compiler-compiler10
compiler10
functional-programming10
uiview9
packaging9
data-structures8
data-structure8
catransform3d6
xcode6
rotation6
flip6
uibutton6
cs193p6
objective-c6
Programming languages (19)
Github contributions (5)
idris-lang/Idris2
Jul 2022 - Jan 2023
A purely functional programming language with first class types
Role in this project:
Back-end Developer
Back-end DeveloperContributions:243 reviews, 16 commits, 208 PRs in 6 months
Contributions summary:Mathew primarily focuses on enhancing the Idris 2 language's features, particularly around package management and FFI capabilities. They have added support for data directories within libraries and improved documentation on JavaScript FFI integrations and packaging. Additionally, they introduced new utilities for the `Vect.Quantifiers.All` module and refactored and moved functionality related to `HasLength` into the base library. Furthermore, the user addressed color output in the testing environment.
functional-programming-languagecompilerdependent-types
mattpolzin/OpenAPIReflection
Mar 2020 - Jan 2023
Additional support for turning Swift Types into OpenAPISchema
Contributions:18 releases, 1 review, 34 commits in 2 years 10 months
swift
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.