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, formal methods, and distributed systems. Specifically, I am excited about formal languages that theoretically and empirically lend themselves to efficient reasoning about useful systems.

I am on the academic job market this year! Here is my CV (pdf), research statement (pdf, html), teaching statement (pdf, html), diversity statement (pdf, html), Google Scholar profile (html), and DBLP profile (html). You can reach me at fmora@cs.berkeley.edu.

Recent News (See all posts)

07/2024
We won the QF_Datatypes division of SMT-COMP 2024!
05/2024
Amar Shah, my mentee, came second at the 2024 ACM SRC Grand Finals!
04/2024
02/2024
I presented our paper on an eager SMT solver for ADTs at AAAI '24

Selected Publications (See all publications)

* denotes undergraduate research mentee

Refereed Conference Papers

Synthetic Programming Elicitation for Text-to-Code in Very
Low-Resource Programming and Formal Languages
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