Link to University of Waterloo Website Experts

5 results for "Formal verification":

Photo of Mark Aagaard

Mark Aagaard

Expert In:

  • Formal verification
  • Application domains
  • Application Security
  • Computer architecture
View Profile
Photo of Arie Gurfinkel

Arie Gurfinkel

Expert In:

  • Formal methods
  • Program Verification
  • Abstract Interpretation
  • Application security
View Profile
Photo of John Thistle

John Thistle

Expert In:

  • Formal synthesis
  • Verification of discrete event systems
  • Communication and information systems
  • Control of discrete event systems
View Profile
Photo of Derek Rayside

Derek Rayside

Expert In:

  • Lightweight formal methods
  • Specifically verification of Smart Contracts
  • Autonomous vehicles
  • Blockchain
View Profile
Photo of Vijay Ganesh

Vijay Ganesh

Expert In:

  • Formal methods
  • Testing, Analysis, Verification, and Security of AI Systems
  • Automated testing
  • Computer security
View Profile
© | University of Waterloo | 200 University Avenue West, Waterloo, Ontario, Canada N2L 3G1 | (519) 888-4567
Powered by
Link to Kosmos Directory Software by Expertise Finder