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
Haley Lepe, my mentee, won a National Diversity in STEM Conference Presentation Award!
10/2023
I presented our paper on message chains for distributed system verification at OOPSLA '23
06/2023
Amar Shah, my mentee, won the PLDI undergraduate student research competition!
05/2023
I won an Outstanding TA Award!
Selected Publications (See all publications)
* denotes undergraduate research menteeRefereed Conference Papers
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
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