A
At a glance
Research interests
Formal Methods in Verification; Software Testing and Debugging Techniques; Logic, programming, and type systems; Software Reliability and Analysis Research; Model-Driven Software Engineering Techniques
About
Biography
Arie Gurfinkel is Associate Professor, Electrical and Computer Engineering at the University of Waterloo, affiliated with Computer Science, Electrical and Computer Engineering. This summary considered 3 collected sources. Listed research or teaching areas include Formal Methods in Verification; Software Testing and Debugging Techniques; Logic, programming, and type systems; Software Reliability and Analysis Research; Model-Driven Software Engineering Techniques.