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.
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
I won UC Berkeley's Outstanding Graduate Student Peer Mentor Award!
04/2024
I won the Demetri Angelakos Memorial Achievement Award!
02/2024
I presented our paper on an eager SMT solver for ADTs at AAAI '24
Selected Publications (See all publications)
* denotes undergraduate research menteeRefereed Conference Papers
Synthetic Programming Elicitation for Text-to-Code in Very
Low-Resource Programming and Formal Languages
Low-Resource Programming and Formal Languages
An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes
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
Linear Arithmetic over String Length
Refereed Short or Tool Papers
UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis
StringFuzz: A Fuzzer for String Solvers