SPLASH 2023 (series) / Federico Mora
![Federico Mora](https://2023.splashcon.org/getProfileImage/federicomora/6525fb3e-bbae-4a59-b9f2-411ddc2fdae1/small.jpg?1712018235000)
Registered user since Wed 20 Sep 2023
Name:Federico Mora
Country:United States
Affiliation:University of California at Berkeley
Personal website: https://federico.morarocha.ca/
Research interests:Automated Reasoning, Programming Languages, and Formal Methods
Contributions
SPLASH 2023-profile
View general profile
View general profile