Sean Mclaughlin
Customer Support Analyst at Keyfactor
Willoughby, Ohio, United States
Summary
🤩
Rockstar🎓
Top SchoolSean Mclaughlin is a seasoned IT professional with 19 years of experience in support and systems administration, currently serving as a Customer Support Analyst at Keyfactor. He spent the bulk of his career as Lead Support Engineer & Systems Administrator at Main Sequence Technology, where he blended hands-on troubleshooting, infrastructure management, and team leadership. Sean holds a B.S. in Information Systems from the University of Mount Union and has a deep background in enterprise help desk operations and resource development. Based in Willoughby, Ohio, he brings a pragmatic focus on reliability and customer outcomes and a track record of evolving technical processes over long tenures. A quietly persistent problem-solver, he often bridges the gap between technical teams and end users to deliver durable, scalable support solutions.
19 years of coding experience
19 years of employment as a software developer
Euclid High SchoolB.S., Information Systems, B.S., Information Systems at University of Mount UnionGeneral Studies, General Studies at Lakeland Community College
Github Skills (200)
programming-language10
aws-services10
specification10
linter10
datalog10
horn10
scalaz10
chips10
sdk10
golang10
translator10
scalable10
logic10
layout10
pretty-print10
Programming languages (20)
Github contributions (5)
seanmcl/dafny
Mar 2018 - Dec 2023
Dafny is a verification-aware programming language
Contributions:35 pushes, 42 branches, 1 comment in 5 years 9 months
compilerdafnyprogramming-languageverification
leanprover/TensorLib
Oct 2024 - Apr 2025
A verified tensor library in Lean
Contributions:74 reviews, 115 PRs, 194 pushes in 5 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.