Yuyan Bao
Assistant Professor at Augusta University
Richmond County, Georgia, United States
Summary
👤
Senior🎓
Top SchoolYuyan Bao is an assistant professor and formal methods researcher with a decade of experience designing specification languages, program semantics, and verification tools. She earned a PhD focused on formal methods and has held postdoctoral positions at Penn State, Purdue, and Waterloo, where she worked on issues such as cache-based side channels and binary analysis. Her work blends theory and tooling—she developed DafnyR, a prototype region logic for Dafny, and has formalized semantics for JML and supertype abstraction to simplify client verification. Based in Georgia, she is actively seeking roles at the intersection of formal methods and software engineering and brings rare practical exposure to both theorem-proving toolchains (Boogie, Z3) and real-world testing automation from earlier industry roles.
10 years of coding experience
10 years of employment as a software developer
Master's degree, Computer Software Engineering, Master's degree, Computer Software Engineering at Beihang UniversityYucai SchoolBachelor's degree, Computer Science, Bachelor's degree, Computer Science at Beijing University of TechnologyPh.D., Formal Methods, Specification Language, Verification, Ph.D., Formal Methods, Specification Language, Verification at University of Central Florida
English, Chinese
Github Skills (9)
visitors3
java2
rust-language2
no-javascript2
web-application2
rust2
rust-lang2
openjdk1
browser1
Programming languages (5)
Github contributions (5)
YuyanBao/DafnyR
Dec 2018 - May 2019
Contributions:25 pushes, 6 branches in 5 months
YuyanBao/lms-clean
Aug 2020 - Oct 2020
Contributions:14 pushes in 2 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.