Hello World!

I recently began my PhD at Imperial College London under the supervision of Prof. Alastair Donaldson with an initial focus on the application of formal methods to programming languages. In the four months since I began, I have been introduced to a host of new areas within computer science which has left me feeling very excited about the years ahead.

This blog is a way for me to share my excitement for the subject by explaining topics central and adjacent to my research in an approachable way. Hopefully this will make many seemingly complex topics within the field of programming languages (and computer science as a whole) more approachable.