Gan Shen
Graduate Student Researcher And Teaching Assistant
California, United States
Summary
👤
Senior🎓
Top SchoolGan Shen is a PhD student and researcher in programming languages at UC Santa Cruz with a decade of software engineering experience, focused on building elegant, correct, and efficient software. He complements his academic work with repeated applied science internships at AWS, where he extended model checkers and built tracers for verifying distributed protocols. Comfortable bridging theory and practice, he has experience developing EDA circuit simulation tools and shipping research-quality tooling. Based in California, he teaches undergraduates while pursuing research that targets practical verification techniques for real-world distributed systems. An understated strength is his steady record of translating formal methods into developer-facing tools that scale beyond prototype.
10 years of coding experience
1 year of employment as a software developer
University of California Santa CruzBachelor's degree (with hornor) Computer Science, Bachelor's degree (with hornor) Computer Science at Hangzhou Dianzi University
Chinese, English
Github Skills (105)
agda10
menubar10
menu10
bluetooth10
temperature10
brightness10
battery-level10
cpu10
clock10
battery10
usrp10
throttling10
power-management10
proofs9
dependent-types9
Programming languages (12)
Github contributions (5)
gshen42/HasChor
Nov 2022 - Mar 2023
Functional choreographic programming in Haskell
Contributions:3 reviews, 37 commits, 7 PRs in 4 months
gshen42/code-snippets
Nov 2017 - Oct 2019
Contributions:3 pushes, 1 branch in 1 year 11 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.