Skip to main content

Computer Science

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.

Back to top


Copyright Notice: Any articles made available for download are for personal use only. Any other use requires prior permission of the author and the copyright holder.

| 2024 | 2023 |



  • Brucker AD, Stell A. (2023) Verifying Feedforward Neural Networks for Classification in Isabelle/HOL, Formal Methods (FM 2023), Springer. [PDF]

Back to top