معرفی
Yuyan Bao is an Assistant Professor in the Department of Computer & Cyber Sciences at Augusta University, affiliated with the School of Computer and Cyber Sciences. His research focuses on programming languages, formal methods, and software security, particularly in developing frameworks for program correctness and security verification. He holds a Ph.D. in Computer Science from the University of Central Florida (2017), a ME from Beihang University (2007), and a BE from Beijing University (2003).
Education:
- Ph.D., Computer Science, University of Central Florida, 2017
- ME, Computer Software Engineering, Beihang University, 2007
- BE, Computer Science, Beijing University, 2003
Research interests include formal verification, higher-order functional programming, domain-specific languages, and secure multi-party computation. Recent work emphasizes reachability types for aliasing and separation tracking, and graph intermediate representations for optimization in impure languages. His projects include HACCLE for secure MPC and collaborations on cryptographic API misuse detection.
His publications span formal methods, type systems, and security analysis, with a focus on practical applications of theoretical frameworks. He serves on the Faculty Search Committee and as a Journal Editor for Computer Software and Media Applications.
