Kevin Milner
Insurance Licensing Coordinator
Boca Raton, Florida, United States
Summary
👤
Senior🎓
Top SchoolKevin Milner is an experienced education and compliance leader with over two decades designing and governing curriculum for regulated licensing, continuing education, and workforce development programs. He has a proven track record reducing compliance findings by 95% and managing seven-figure program operations while directing national instructor-led and online programs that serve thousands of adult learners annually. Kevin blends academic governance, accreditation readiness, and regulatory expertise with hands-on curriculum design—authoring hundreds of state-approved courses and exam banks—and leads high-performance faculty teams across remote and onsite environments. Earlier in his career he scaled operations for a multi-state retail business and developed fraud detection frameworks, demonstrating operational rigor beyond academics. More recently he has applied his analytical skills in regulatory examination work, earning regional "Examiner of the Year" recognition. Based in Boca Raton with an MBA in Management Information Systems, Kevin also contributes to open-source tooling for security protocol verification, bringing a rare mix of educational leadership and technical curiosity.
11 years of coding experience
18 years of employment as a software developer
BA, Management, BA, Management at Stockton UniversityMBA, Management Information Systems, MBA, Management Information Systems at Fairleigh Dickinson University
Github Skills (5)
cabal10
verification10
haskell10
security-protocol10
build-system9
Programming languages (13)
Github contributions (5)
tamarin-prover/tamarin-prover
Feb 2017 - Jun 2022
Main source code repository of the Tamarin prover for security protocol verification.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:18 commits, 23 PRs, 54 comments in 5 years 4 months
Contributions summary:Kevin primarily focused on improving the Tamarin prover's codebase by removing redundant dependencies, cleaning up compile warnings, and updating the build resolver. They also introduced rule coloring support, enhancing the visualization capabilities within the dot file rendering of the prover's output. Further contributions included adding lemma annotations for heuristics and optimizing goal ranking printing. These changes collectively aimed to enhance the maintainability, functionality, and visual representation of the security protocol verification tool.
proversecuritysecurity-protocoltamarintla
kmilner/manual
Jun 2016 - Apr 2020
Pandoc version of manual
Contributions:15 pushes, 4 branches in 3 years 9 months
pandocsolidworksmanuallatexmarkdown
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.