About

Max Stupple

PhD Student at Imperial

I'm a PhD student in the Department of Computing at Imperial College London, under the supervision of Alastair F. Donaldson and Azalea Raad. I'm interested in formal methods, (weak) concurrency and programming languages.

Publications

  • SC 2026

    (Workshop)

    Max Stupple, Alastair F. Donaldson, and Azalea Raad. Reducing Confusion and Broadcasting Understanding: An Empirical Study of the Semantics of NCCL. To appear in 10th International Workshop on Software Correctness for HPC Applications, CORRECTNESS 2026, IEEE, 2026.

    [PDF | BibTeX]

  • ESOP 2026

    Guillaume Ambal, Max Stupple, Brijesh Dongol, and Azalea Raad. Specifying and Verifying RDMA Synchronisation. In Programming Languages and Systems, pages 42–71, Springer Nature Switzerland, 2026.

    [PDF | DOI | BibTeX]

Teaching

I'm a Teaching Scholar at the department. I have worked on the following modules:

Current

  • COMP60007 The Theory and Practice of Concurrent Programming
  • COMP50007 Computing Practical 2
  • COMP50003 Models of Computation

2025-26

  • COMP70024 Software Reliability
  • COMP60007 The Theory and Practice of Concurrent Programming
  • COMP60013 Logic-Based Learning
  • COMP50007 Computing Practical 2

Contact

Email: [firstname].[lastname]21@ic.ac.uk

© 2026 Max Stupple