F
At a glance
Research interests
A utomated reasoning, programming language theory, formal methods, and distributed systems Research mission is to create automated reasoning stacks that do not require users to be experts in automated reasoning
About
Biography
Federico Mora is Assistant Professor at the University of Waterloo, affiliated with Computer Science. This summary considered 3 collected sources. Listed research or teaching areas include A utomated reasoning, programming language theory, formal methods, and distributed systems Research mission is to create automated reasoning stacks that do not require users to be experts in automated reasoning.