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.
15 years of coding experience
Diploma, Electonics and Computer Engineering, Diploma, Electonics and Computer Engineering at Ngee Ann Polytechnic
Github Skills (23)
in-progress10
mathematics8
computer-algebra-system7
theorem-proving7
math6
computer-algebra6
formal-verification3
coq3
formal-methods3
agda3
verification3
ocaml3
proofs2
proof-assistant2
tlaplus2
Programming languages (5)
Github contributions (5)
shaoweilin/shaoweilin.github.io
Apr 2022 - Mar 2025
Contributions:101 pushes, 2 branches in 2 years 11 months
shaoweilin/decentralized-proof-assistant
Apr 2021 - Oct 2023
Contributions:32 pushes, 2 branches in 2 years 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.