James Lee-Jones

I am a PhD student in the FastPL group at Imperial College London supervised by Prof. Alastair Donaldson.

My research interests include the application of formal methods to programming languages, program analysis, verification and programming language semantics. I am particularly interested in making code fast and reliable through formal techniques.

Teaching

As a graduate teaching assistant, I have helped with the following:

• MSc Co-supervision: Co-supervising a student using skeletal program enumeration to automatically test compilers for the WebGPU Shading Language (WGSL).
• Software Reliability: Delivered tutorials, Coursework Marking, and Group Presentation Marking.
• Computing Practical 2: Perform live code reviews of student operating systems and compilers.