Federico Mora (Preferred)
Federico Mora
Assistant Professor, Cheriton School of Computer Science, University of Waterloo
Researcher, Amazon
PhD student, Electrical Engineering and Computer Sciences, University of California, Berkeley
- Joined March 2024
Names
Emails
****@berkeley.edu (Confirmed)
, ****@uwaterloo.ca (Confirmed)
Personal Links
Career & Education History
Assistant Professor
Cheriton School of Computer Science, University of Waterloo (uwaterloo.ca)
2026 – Present
Researcher
Amazon (amazon.com)
2025 – 2026
PhD student
Electrical Engineering and Computer Sciences, University of California, Berkeley (berkeley.edu)
2019 – 2025
Advisors, Relations & Conflicts
Expertise
Automated Reasoning
Present
Programming Languages
Present
Formal Methods
Present