Federico Mora

Degrees

• Ph.D., Computer Science, University of California, Berkeley (2025)
• M.Sc., Computer Science, University of Toronto (2018)
• B.Sc., Math and Computer Science, Mount Allison University (2016)

Research interests

• Automated reasoning, programming language theory, formal methods, and distributed systems
• Research mission is to create automated reasoning stacks that do not require users to be experts in automated reasoning

Publications

• Federico Mora on Google Scholar