University of Rhode Island
Expert In:
Automated manufacturing
systems
Driver safety
University of Waterloo
Automated program analysis
Automated rqeasoning
Cybersecurity
McMaster University
Automated relational calculus
Automated software testing
Concurrency theory
See a full list of Automated Experts here