1 Expert In "Abstract Interpretation" • University of Waterloo Experts

Experts

1 result for "Abstract Interpretation":

Photo of Arie Gurfinkel

Arie Gurfinkel

Expert In:

Abstract Interpretation
Application security
Automated program analysis
Automated reasoning

© 2025 | University of Waterloo | 200 University Avenue West, Waterloo, Ontario, Canada N2L 3G1 | (519) 888-4567

Powered by