GradNova

Automated Reasoning, Programming Language Theory, Formal Methods, and Distributed Systems

1 faculty research Automated Reasoning, Programming Language Theory, Formal Methods, and Distributed Systems on GradNova.

F

Assistant Professor

David R. Cheriton School of Computer Science

University of Waterloo

Automated 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

Software Testing and Debugging Techniques

Natural Language Processing Techniques

+3