Arie Gurfinkel
Arie Gurfinkel
Full Professor, University of Waterloo
Joined
July 2019
Names
Emails
****@uwaterloo.ca (Confirmed)
****@uwaterloo.ca (Confirmed)
****@gmail.com (Confirmed)
Personal Links
Career & Education History
Full Professor
University of Waterloo (uwaterloo.ca)
2022 – Present
Advisors, Relations & Conflicts
Expertise
decision procedures
2010 – Present
automated reasoning
2000 – Present
model checking
2000 – Present
logic
2000 – Present
Publications
Co-Authors
- Aarti Gupta
- Adrien Champion
- Albert Y. C. Lai
- Alexander Ivrii
- Andreas Katis
- Andrew Gacek
- Andrey Rybalchenko
- Anton Belov
- Antti Eero Johannes Hyvärinen
- Anvesh Komuravelli
- Anya Tafliovich
- Aws Albarghouthi
- Benet Devereux
- Caterina Urban
- Cesare Tinelli
- Charles Hines
- Christophe Garion
- Christopher D. Thompson-Walsh
- Chuqin Geng
- Clark W. Barrett
- Cory F. Cohen
- David Garlan
- David L. Dill
- David Lie
- Edmund M. Clarke