Invited Speakers

(from formal methods domain)

  • Dr. John Rushby, Program Director for Formal Methods and Software Dependability, SRI International
  • Dr. Xiaowei Huang, Lecturer (Assistant Professor), Univ. Liverpool

(from machine learning and industrial domain)

  • Dr. Alhussein Fawzi (UCLA) - Adverserial Training Examples
  • Dr. Mauricio Castillo-Effen (GE)- Challenges in avionics
  • Dr. Simon Burton (BOSCH - Challenges in automotives