Jay Morgan was a visiting student at (BORG) Bio-Ontology Research Group of Professor Robert Hoehndorf at King Abdullah University of Science and Technology (KAUST), Saudi Arabia.
Jay's research is focused on the verification of machine learning (ML) models, in particular, deep learning. Reasoning as to the decision process of ML is becoming increasingly important especially those that are included in safety-critical systems. Therefore, verifying the properties of the model against requirements as well as interrogating the model itself could provide a great benefit. His research interests include Machine Learning, Logic & Verification.