Amy Stell | Computer Science | University of Exeter

For students

For staff

Popular links

New and returning students

Wellbeing, Inclusion and Culture

Quick links

Study
Study
Undergraduate
Masters
PhD
Teacher training
Degree Apprenticeships
Research

Our world-leading research

Our research is changing the world - making it greener, healthier and fairer.

PhDs and research degrees

We are committed to nurturing talent and encouraging new ideas, making Exeter a great place to pursue Postgraduate Research.

Exeter Innovation

Exeter Innovation is a partner for transformative innovation. We harness the world leading research and education of the University of Exeter to create real and lasting impact, by working with organisations of all types and sizes on their innovation journey.
For business
Global
Global Exeter
The University of British Columbia

Activities between the University of British Columbia and Exeter include a joint research symposium focused on Community, Culture, Creativity, and Wellbeing held at Exeter in May 2018 and a faculty-led, co-funded initiatives in Sport, Exercise and Health Sciences, Climate Change and Digital Humanities.

University of South Florida

University of South Florida and Exeter have entered into a 5 year student exchange between the two Universities. They launched the University of Exeter / University of South Florida Research Catalyst Fund to provide grants to support joint research initiatives between the two institutions.

Tsinghua University

The University of Exeter and Tsinghua University have launched a jointly-awarded PhD degree programme in climate and environmental sciences which supports six students to be co-supervised between Tsinghua's Department of Earth System Science and Colleges at Exeter that conduct research on earth systems and environmental sciences. Read more.

Hong Kong University of Science and Technology (HKUST)

A partnership between Exeter and HKUST will enable students embarking on Engineering or Computer Science undergraduate degrees at HKUST to finish their degree at Exeter, before spending a fifth year at Exeter's Law School, completing either an LLM (Master of Laws) or a Juris Doctor (JD). Read more.

Nanyang Technological University

NTU and Exeter are working in partnership to deliver six split-site Biomedical PhD studentships. If successful, you will benefit from expert supervision from researchers in both institutions and have the opportunity to research and live in two great locations, for up to eighteen months in each.

University of Geneva

To celebrate, and further extend, the strong relationship of staff within the University of Exeter and the University of Geneva, the two universities have launched a new seed fund to support developing research links.

University of Queensland

The University of Exeter and The University of Queensland have partnered to establish the QUEX Institute, a new multi-million pound partnership designed to bolster their joint global research impact. Read more.

The University of British Columbia

University of South Florida

Tsinghua University

Hong Kong University of Science and Technology

Nanyang Technological University

University of Geneva

University of Queensland
Our departments
About us
About the University
Contact us
Business and partnerships
Campuses and visitors
News
- View all news
- View all events

Computer Science

Photo of Amy Stell

Amy Stell

PhD Student

as1343@exeter.ac.uk

Overview

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.

Publications

_{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 |

2024

Brucker AD, Cameron-burke T, Stell A. (2024) Formally Verified Interval Arithmetic and Its Application to Program Verification, FormaliSE 2024, Lisbon, Portugal, 14th - 15th Apr 2024, 13th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE 2024), DOI:10.1145/3644033.3644370.
Brucker AD, Stell A. (2024) (Extended) Interval Analysis, Archive of Formal Proofs. [PDF]

2023

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