SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
SPLASH 2022 (series) / Fengmin Zhu

Registered user since Mon 12 Sep 2022

Name:Fengmin Zhu
Country:Germany
Affiliation:MPI-SWS
Personal website: https://paulz.me
GitHub: https://github.com/paulzfm
Research interests:type/subtype systems, language design, theorem provers, syntax, synthesis, structured data/inputs, etc.

Contributions

Show activities from other conferences

SPLASH 2022-profile
View general profile