Arie Gurfinkel

University of Waterloo

  • Joined July 2019

Names

Arie Gurfinkel

Emails

****@uwaterloo.ca (Confirmed)
,
****@uwaterloo.ca (Confirmed)
,
****@gmail.com (Confirmed)

Personal Links

Education & Career History

Full Professor
University of Waterloo (uwaterloo.ca)
2022 – Present
 

Advisors, Relations & Conflicts

No relations added

Expertise

decision procedures
2010 – Present
 
automated reasoning
2000 – Present
 
model checking
2000 – Present
 
logic
2000 – Present