About
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
Coming soon...!
Teaching
I'm a Teaching Scholar at the department. I'm currently an assistant on the following courses:- COMP70024 Software Reliability
- COMP60007 The Theory and Practice of Concurrent Programming
- COMP60013 Logic-Based Learning
- COMP50007 Computing Practical 2
Contact
© 2025 Max Stupple