• IEEE.org
  • IEEE Xplore Digital Library
  • IEEE Standards Association
  • Spectrum Online
  • More IEEE Sites
Join IEEE | Sign In
IEEE RAS

TECHNICAL COMMITTEE FOR

Verification of Autonomous Systems

IEEE
  • Activities
  • Contact
  • Join Us

Contact

Chairs

Verification of Autonomous Systems

Dejanira Araiza-Illan portrait
Dejanira Araiza-Illan
Verification of Autonomous Systems
Johnson & Johnson
E: dejanira.araiza.i@gmail.com
Michael Fisher portrait
Michael Fisher
Verification of Autonomous Systems
Department of Computer Science, University of Liverpool
United Kingdom
E: michael.fisher@manchester.ac.uk
Website:
http://cgi.csc.liv.ac.uk/~michael
Signe Redfield portrait
Signe Redfield
Verification of Autonomous Systems
Naval Research Lab
Washington DC, USA
E: signe@ieee.org

  • Home
  • Sitemap
  • Contact IEEE RAS
  • Feedback
  • Accessibility
  • IEEE Privacy Policy
  • Nondiscrimination Policy

© Copyright 2021 IEEE - All rights reserved. A not-for-profit organization, IEEE is the world's largest technical professional organization dedicated to advancing technology for the benefit of humanity.

ras ieeetv
calendaricon
Facebook Twitter LinkedIn YouTube
 
IEEE