![Bui Phi Diep](https://pldi22.sigplan.org/getProfileImage/phidiepbui/c220e105-11d5-4f1b-b8f0-73412855f907/small.jpg?1711712088000)
Registered user since Wed 8 Mar 2017
Name:Bui Phi Diep
Affiliation:Uppsala University, Sweden
Personal website: https://diepbp.github.io/
Research interests:Program Verification, Constraint Solving
Contributions
PLDI 2022-profile
View general profile
View general profile