Scholar
Federico Mora Rocha
Google Scholar ID: mm91pq0AAAAJ
University of Waterloo
Citations & Impact
Citations
405
H-index
10
i10-index
11
Publications
19
Co-authors
7
list available
Contact
Publications
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
- Published multiple papers, including works presented at top conferences like AAAI, NeurIPS; won several awards such as the QF_Datatypes division of SMT-COMP 2024, Outstanding Graduate Student Peer Mentor Award 2024, Demetri Angelakos Memorial Achievement Award 2024, Outstanding TA Award 2023, Outstanding GSI Award 2022, and Qualcomm Innovation Fellowship 2021.
Research Experience
- Will serve as an assistant professor at the University of Waterloo; previously worked as an applied scientist at Amazon Web Services.
Education
- Graduated from the University of California, Berkeley in 2025.
Background
- Currently an applied scientist at Amazon Web Services. Starting fall 2026, he will be an assistant professor of computer science at the University of Waterloo and a faculty affiliate at the Vector Institute. His research interests include automated reasoning, programming language theory, and neuro-symbolic artificial intelligence.
Miscellany
- Looking for graduate students to join his group; contact email is federico@uwaterloo.ca.
