Billy Thornton

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

bt319@exeter.ac.uk

Overview

Billy is an PhD student in the department of Computer Science. He is supervised by Dr. Diego Marmsoler and Prof Achim Brucker, with his research focused on the formal verification of Solidity smart contracts.

He completed his MSci degree in Computer Science at Exeter in 2022, with his thesis focused on the implementation and application of Proof of Work (PoW) based blockchains.

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.}

2023

Marmsoler D, Thornton B. (2023) SSCalc: A Calculus for Solidity Smart Contracts, Software Engineering and Formal Methods, Springer Nature Switzerland, 184-204, DOI:10.1007/978-3-031-47115-5_11. [PDF]