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. Ultimately, I am to develop techniques to make software more reliable.

Outside of my research, I love to read and discuss philosophy, particuarly consciousness. I am also a keen guitar player with very patient flat mates.