Link to expertisefinder.com

10 experts in "verification of software" found:

Profile photo of Aarti Gupta, expert at Princeton University

Aarti Gupta

Expert In:

  • Verification of hardware systems
  • Verification of software
  • Compilers
  • Logic decision procedures
View Profile
Profile photo of Yvan Labiche, expert at Carleton University

Yvan Labiche

Expert In:

  • Software engineering
  • Software quality assurance
  • Verification and validation of software systems
  • Artificial intelligence
View Profile
Profile photo of Andrew Appel, expert at Princeton University

Andrew Appel

Expert In:

  • Privacy and Software
  • Software verification
  • Compilers
  • Computer security
View Profile
Profile photo of John Thistle, expert at University of Waterloo

John Thistle

Expert In:

  • Control of discrete event systems
  • Software development
  • Verification of discrete event systems
  • Communication and information systems
View Profile
Profile photo of Mark Aagaard, expert at University of Waterloo

Mark Aagaard

Expert In:

  • Formal verification
  • Software engineering
  • Verification of digital hardware system
  • Application domains
View Profile
Profile photo of Hiren Patel, expert at University of Waterloo

Hiren Patel

Expert In:

  • Hardware and software co-design methodologies
  • Models of computation
  • System-level design and verification methodologies
  • Communications and access
View Profile
Profile photo of Ned Nedialokv, expert at McMaster University

Ned Nedialokv

Expert In:

  • Numerical methods with autmomatic verification results
  • Numerical software
  • Parallel computing
  • Scientific computing
View Profile
Profile photo of Patrick Lam, expert at University of Waterloo

Patrick Lam

Expert In:

  • Program verification
  • Software engineering
  • Compilers
  • Cybersecurity
View Profile
Default profile photo

Mark Lawford

Expert In:

  • Computer aided verification
  • Software engineering
  • Computer aided inspection
  • Real-time systems
View Profile
Profile photo of Derek Rayside, expert at University of Waterloo

Derek Rayside

Expert In:

  • Software design
  • Software engineering
  • Verification
  • Cybersecurity
View Profile

© | Expertise Finder | Toronto (Canada) | 1-888-978-5418 | info@expertisefinder.com | Home | Privacy | User Agreement

Powered by Link to expertisefinder.com