A
Arie Gurfinkel
Associate Professor, Electrical and Computer Engineering
Research Interests
Formal Methods in Verification
Logic, Programming, and Type Systems
Model-Driven Software Engineering Techniques
Software Reliability and Analysis Research
Software Testing and Debugging Techniques