ICFP 2024
Mon 2 - Sat 7 September 2024 Milan, Italy
ICFP 2024 (series) / Shaopeng Zhu

Registered user since Wed 26 Aug 2020

Name:Shaopeng Zhu
Affiliation:Does Not Wish To Disclose
Personal website: https://sites.google.com/umd.edu/shaopengzhu/home
Research interests:Verification, Separation Logic, Formal Methods, Semantics, Concurrency

Contributions

Show activities from other conferences

ICFP 2024-profile
View general profile