Gun Pinyo
DevOps Engineer at Quantum Technology Foundation (Thailand)
Bangkok, Thailand
Summary
👤
Senior🎓
Top SchoolGun Pinyo is a DevOps Engineer based in Bangkok with 11 years of experience applying rigorous academic thinking to production infrastructure. With a First Class MEng from Imperial College London and a PhD in Computer Science from the University of Nottingham, he brings research-grade expertise to operational challenges at Quantum Technology Foundation (Thailand). He is particularly interested in making abstract formalisms—Category Theory and Dependent Type Theory—practical for real-world systems, blending formal methods with cloud-native tooling. Colleagues describe him as a developer who pairs deep theory with hands-on deployment skills to build reliable, auditable pipelines.
11 years of coding experience
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at University of NottinghamMaster of Engineering - MEng, Computer Science, First Class Honors, Master of Engineering - MEng, Computer Science, First Class Honors at Imperial College London
Github Skills (36)
atmel10
rp204010
firmware10
usb10
qmk10
keyboard10
avr10
arm10
functional-programming10
agda9
type-theory9
package-manager9
idris8
dependent-types8
proof-assistant8
Programming languages (7)
Github contributions (5)
gunpinyo/phometa
May 2015 - Jun 2016
Contributions:159 commits, 52 PRs, 124 pushes in 1 year
reactformalvisualization
gunpinyo/twisted_cube_formalisation
Jan 2019 - Dec 2020
Contributions:10 pushes, 1 branch in 1 year 10 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.