2 Experts In "Automated program analysis" • University of Waterloo Experts

Experts

2 results for "Automated program analysis":

Photo of Arie Gurfinkel

Arie Gurfinkel

Expert In:

Automated program analysis
Automated reasoning
Program Verification
Abstract Interpretation

Photo of Vijay Ganesh

Vijay Ganesh

Expert In:

Automated testing
Program analysis
Computer security
Formal methods

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

Powered by