Contact

Chairs

Verification of Autonomous Systems

Dejanira Araiza-Illan portrait

Dejanira Araiza-Illan

Johnson & Johnson

E: dejanira.araiza.i@gmail.com

Michael Fisher portrait

Michael Fisher

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

Naval Research Lab
Washington DC, USA

E: signe@ieee.org

Junior Co-Chairs

Kevin Leahy portrait

Kevin Leahy

MIT Lincoln Laboratory
Lexington (MA), USA

E: kjleahy@ieee.org

Joanna Isabelle Olszewska portrait

Joanna Isabelle Olszewska

University of the West of Scotland
United Kingdom

E: joanna.olszewska@ieee.org