Martin
Sidaway
PhD student
School of Computing
Newcastle University
, UK
Thesis topic: δ-complete verification of artificial neural networks
Supervisor:
Paolo Zuliani
Predicted end date: 2021
See my full list of
public GitHub projects
(most of which are currently unrelated to my work).