Shaowei Lee
Managment Support Officer at Singapore Civil Defence Force
Singapore
Summary
🤩
Rockstar🎓
Top SchoolShaowei Lee is a management support officer with 15 years of professional experience in Singapore, blending operational support in the public sector with hands-on IT and systems troubleshooting from earlier hospitality and academic roles. At the Singapore Civil Defence Force since 2014, he applies practical technical knowledge and organizational acumen to support mission-critical operations. His background as a system administrator at Swissotel and a design and development officer at Ngee Ann Polytechnic gave him real-world skills in network connectivity, VPN/firewall issues, C#, and image/signal processing. Colleagues know him for strong communication, reliability in shift work environments, and the ability to translate technical problems into clear, actionable solutions. Although not an active GitHub contributor, his decade-plus tenure in mixed IT and operational roles suggests a pragmatic, systems-oriented approach to problem solving.
16 years of coding experience
Diploma, Electonics and Computer Engineering, Diploma, Electonics and Computer Engineering at Ngee Ann Polytechnic
Github Skills (14)
math-library8
cryptography7
rust5
formal-verification4
proofs4
z34
coq4
formal-methods3
ocaml3
compiler2
toolchain1
rust-lang1
ai1
fstar1
Programming languages (7)
Github contributions (5)
Beneficial-AI-Foundation/vericoding
Aug 2025 - Jun 2026
tools and benchmarks for verified coding
Contributions:16 reviews, 79 PRs, 181 pushes in 9 months
shaoweilin/shaoweilin.github.io
Mar 2021 - Feb 2022
Build a Jekyll blog in minutes, without touching the command line.
Contributions:233 pushes in 11 months
jekyll-blogjekylljekyll-thememinutes
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.