University home | Studying | Research | Business and community | Working here | Alumni and supporters | Our departments | Visiting us | About us

• Homepage
• Key Information
  • Almanac
  • Building Access
  • Building Maps
  • College Policies
  • College Structure
  • Key Academic Roles
  • Academic Groups
  • Key Professional Service Contacts
  • Staff Profiles
    • Academic Staff
    • Research Staff
    • Postgraduate Research Students
    • Professional Services Staff
    • Honorary Staff and Visitors
    • All Staff
  • Events and Colloquia
  • Useful Links
• Students
• Staff
• PGR
• Health and Safety
• Computer Support
• National Student Survey (NSS)
• Intranet Help

Amy Stell

• Profile
• Publications

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.