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

Billy Thornton

• Profile
• Publications

Billy Thornton

Location: Innovation Centre Phase 1 M1

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.