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 (174)
programming-language10
aws-sdk-java-v210
linter10
datalog10
z310
translator10
pretty-print10
macros10
compiler-plugin10
verification10
dafny10
logic-programming10
java10
ocaml10
aws-sdk10
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
awslabs/quivela
Nov 2018 - Jan 2019
Quivela is a prototype tool for constructing proofs of the security of cryptographic protocols.
Contributions:82 commits, 4 PRs, 41 pushes in 1 month
security
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.