Nathan Bedell

Senior Lead Engineer at PAR Government

Strasburg, Virginia, United States
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Nathan Bedell is a Senior Lead Engineer with 11 years of experience, currently focused on Android development while bridging front-end and back-end concerns across full-stack projects. Trained as a mathematician with a master's emphasis in category theory and theoretical computer science, he applies functional programming and strong type discipline to produce concise, maintainable solutions for complex business problems. His industrial work spans GIS research and production systems, and he has progressed from software engineer roles to leadership positions at PAR Government and Booz Allen Hamilton. Interested in logic programming, static type systems, and UI frameworks, he brings a researcher's rigor to practical engineering and a track record of translating advanced semantics into reliable, production-ready code.
code12 years of coding experience
job2 years of employment as a software developer
bookBachelor's degree, Mathematics, Bachelor's degree, Mathematics at Liberty University
bookMaster's degree, Mathematics, Master's degree, Mathematics at Tulane University
stackoverflow-logo

Stackoverflow

Stats
2,283reputation
25kreached
3answers
49questions
github-logo-circle

Github Skills (143)

testing10
test-framework10
property-testing10
gradle-plugin10
imperative10
linux10
python-app10
kotlin-multiplatform10
logic10
assertion10
jvm10
kotlin10
multiplatform10
widgets10
kotlin-js10

Programming languages (12)

MDXC#JavaRustFlixOCamlScalaWebAssembly

Github contributions (5)

github-logo-circle
yafrl/yafrl

Mar 2025 - May 2026

Yet Another Functional Reactive Library
Contributions:2 releases, 17 PRs, 194 pushes in 1 year 1 month
animationfunctional-programmingfunctional-reactive-programmingjetpack-composekotlin-multiplatform
Sintrastes/hafly

May 2022 - Feb 2023

Contributions:163 commits, 132 pushes, 3 branches in 8 months
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.
Request Free Trial