SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
SPLASH 2023 (series) / Federico Mora
Federico Mora

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

Show activities from other conferences

SPLASH 2023-profile
View general profile