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.