Headshot

My name is Federico Mora Rocha. I am a Ph.D. student in computer science at the University of California, Berkeley, where I am advised by Sanjit A. Seshia. Before Berkeley, I completed an M.Sc. in computer science at the University of Toronto, where I was advised by Marsha Chechik. Before Toronto, I completed a B.Sc. in computer science and mathematics at Mount Allison University.

I am interested in automated reasoning, programming language theory, and formal methods. Specifically, I am excited about useful languages that theoretically and empirically lend themselves to efficient reasoning.

Here is my CV and Google Scholar. You can reach me at fmora@cs.berkeley.edu.

Recent News (See all posts)

02/2024
I presented our paper on an eager SMT solver for ADTs at AAAI '24
10/2023
10/2023
I presented our paper on message chains for distributed system verification at OOPSLA '23
05/2023

Selected Publications (See all publications)

* denotes undergraduate research mentee

Refereed Conference Papers

An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes
A. Shah*, F. Mora and S. A. Seshia
Message Chains for Distributed System Verification
Z3str4: A Multi-armed String Solver
MedleySolver: Online SMT Algorithm Selection
An SMT Solver for Regular Expressions
and Linear Arithmetic over String Length

Refereed Short or Tool Papers

UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis
StringFuzz: A Fuzzer for String Solvers