SPLASH 2023 (series) / Federico Mora
Registered user since Wed 20 Sep 2023
Name:Federico Mora
Affiliation:University of California, Berkeley
Personal website: https://federico.morarocha.ca/
Research interests:Automated Reasoning, Programming Languages, and Formal Methods
Contributions
Using general profile