ECOOP 2019 (series) / Yuyan Bao
![Yuyan Bao](https://2019.ecoop.org/getProfileImage/yuyanbao/117f2247-4646-4111-ac8b-5d8f13c0cdb3/small.jpg?1711461727000)
Registered user since Fri 16 Apr 2021
Name:Yuyan Bao
Country:United States
Affiliation:Pennsylvania State University, USA
Personal website: https://yuyanbao.github.io/
Research interests:Formal Methods, Programming Languages, Software Security
Contributions
ECOOP 2019-profile
View general profile
View general profile