About me. Assistant Professor at Augusta University. My research is in the areas of specification and verification languages, programming languages and ...

Augusta University - ‪‪Cited by 181‬‬ - ‪Specification and Verification Languages‬ - ‪Programming Languages‬ - ‪Software Security‬

Yuyan Bao, Assistant Professor, Academic Appointment(s), Administration, Department of Computer & Cyber Sciences, School of Computer and Cyber Sciences.

2024/05/19 · List of computer science publications by Yuyan Bao.

Yuyan Bao, Assistant Professor, Email yubao@augusta.edu, Projects CRII: SHF: Theoretical Foundations of Verifying Function Values and Reducing Annotation ...

APSEC. Committee Member in Program Committee within the ERA - Early Research Achievements-track · Committee Member in Program Committee within the SRC ...

My main research interests are centered around Programming Languages and Software Engineering, with a focus on formal methods and reasoning about the ...

Subject Areas: Functional languages, Compilers, General programming languages, Cryptanalysis and other attacks, Domain specific languages, Formal methods and ...

I am a Ph.D student working in the Formal Methods Lab at University of Central Florida. My research interests include specification andverification language ...