Skip to main content


Photo of  Amy Stell

Amy Stell

PhD Student


Amy Stell is a PhD student in the department of Computer Science. She is supervised by Prof Achim Brucker and Dr. Diego Marmsoler, with her research in the broad area of ensuring trustworthy machine learning for high assurance systems. In particular she is looking at formally modelling and verifying the behaviour of neural networks with the aim to improve the safety and security of these systems.

She graduated with a BSc degree from University of Exeter in Computer Science in 2021, and has been awarded full scholarship by Engineering and Physical Sciences Research Council (EPRSC) for her PhD in Computer Science.