Martin Lester

Doctoral Student

Student, Merton College

Wolfson Building, Parks Road, Oxford OX1 3QD

Interests

I am interested in the theory and application of type systems in programming languages. This covers several areas of computer science, including the semantics of programming languages, the underlying mathematical structures and methods of formal verification.

Working with Steven Ramsay and Robin Neatherway, I was involved in the development of THORS, a model-checker for verifying Alternation-Free Mu Calculus properties on value trees generated by Higher Order Recursion Schemes.

My research currently focuses on the verification of information security properties in dynamic languages, such as JavaScript.

Biography

My undergraduate degree was a BA in Computer Science, gained while studying at Gonville & Caius College, Cambridge (2003-2006). After a period working as a software developer for Autonomy Systems, I studied for the MSc in Mathematics and Foundations of Computer Science at St Edmund Hall College, Oxford (2008-2009). I am currently studying for a DPhil in Computer Science at Merton College, Oxford, under the supervision of Luke Ong.