Federico Mora

fmora[at]cs.toronto.edu

I am interested in the automated verification and construction of programs and proofs. My research focuses on logic, programming languages, and software engineering.

Education

2018
M.Sc. Computer Science
Supervised by Marsha Chechik
University of Toronto
2015
B.Sc. Math and Computer Science
First Class Honors with Distinction
Mount Allison University

Employment

2017
Research Intern
Supervised by Ramesh S.
General Motors
2015/6
Research Assistant
Supervised by Raymond Spiteri
University of Saskatchewan

Publications

ASE '18
Client-Specific Equivalence Checking
F. Mora, Y. Li, J. Rubin, and M. Chechik
CAV '18
StringFuzz: A Fuzzer for String Solvers
D. Blotsky, F. Mora, M. Berzish, Y. Zheng, I. Kabir, and V. Ganesh

Projects

CLEVER
The CLEVER (CLient EquiValence checkER) project aims to address the problem of whether a component update affects its overall system. CLEVER uses a variety of (semi-)automated techniques.
Z3str3
Z3str3 is a constraint solver for the quantifier-free theory of string equations. I contribute to Z3str3, StringFuzz, and help maintain a website that compares string solvers on a collection of StringFuzz benchmarks.

Teaching

Current
Teaching Assistant, University of Toronto
CSC 410: Software Testing and Verification
Previous
Teaching Assistant, Mount Allison University
COMP 1631: Introduction to Computer Science

Awards

2017
Alfred B. Lehman Graduate Scholarship.  Awarded on the basis of academic merit with preference given to students studying in the area of discrete mathematics.

Professional

2018
External Reviewer.   ASE, CAV, and IJCAR.
2017
External Reviewer.   ASE and FSE.