Jay Morgan

Visiting Students


My 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.​

Research Interests

Machine Learning, Logic & Verification

Selected Publications

Morgan, J., Paiement, A., Seisenberger, M., Williams, J., & Wyner, A. (2018). A chatbot framework for the children’s legal centre. In Frontiers in Artificial Intelligence and Applications (Vol. 313, pp. 205–209). [PDF] [Bibtex]​