conf.researchr.org / Federico Mora
Registered user since Wed 20 Sep 2023
Name:Federico Mora
Bio:
Federico Mora is an Assistant Professor in the David R. Cheriton School of Computer Science at the University of Waterloo and a Faculty Affiliate at the Vector Institute.
Country:Canada
Affiliation:University of Waterloo
Personal website: https://federico.morarocha.ca/
Research interests:Automated Reasoning, Programming Languages, and Formal Methods
Contributions