Jesonhu Web
China
Summary
👤
SeniorJason Hu is an applied scientist with nine years of experience at the intersection of formal methods, programming languages, and software engineering, now working at AWS after a PhD in computer science from McGill. He has a strong track record of turning deep theory into practical tools—examples include introducing incremental solving to a distributed SAT/SMT service, verifying hypervisor code with Isabelle/HOL, and creating RBMC (a Rust frontend for CBMC) that evolved into the open-source Kani project at AWS. Trained in mathematics, logics, type theory and theoretical CS, he specializes in program verification, synthesis, and decidability questions (his thesis on Dependent Object Types is cited alongside released code). Based in Seattle, he pairs high scrutiny and critical thinking with hands-on engineering across Rust, Scala, Python and verification toolchains, and views interest and expertise as a virtuous iterative cycle that drives continuous improvement.
10 years of coding experience
Github Skills (88)
dashboard10
buefy10
axios10
mobile-web10
carrousel10
vuejs210
tinymce10
vue-cli10
slide10
xlsx10
vuex10
admin10
vue-carousel10
full-stack10
vue10
Programming languages (4)
Github contributions (5)
Jesonhu/ps-tutorial
Aug 2017 - Aug 2017
Contributions:54 commits, 3 pushes in 1 day
Jesonhu/typescript-demo
Mar 2019 - Mar 2022
:mag: 练一遍官方文档中的 demo
Contributions:55 commits, 1 PR, 54 pushes in 3 years 1 month
vuetypescriptmag
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.