Federico Mora

PhD student, Electrical Engineering and Computer Sciences, University of California, Berkeley

  • Joined March 2024

Names

Federico Mora (Preferred)

Emails

****@berkeley.edu (Confirmed)

Personal Links

Career & Education History

PhD student
Electrical Engineering and Computer Sciences, University of California, Berkeley (berkeley.edu)
2019 – 2025
 

Advisors, Relations & Conflicts

PhD Advisor
2019 – 2025
 

Expertise

Automated Reasoning
Present
 
Programming Languages
Present
 
Formal Methods
Present