ICFP/SPLASH 2025 (series) / Martin Lester
Registered user since Sun 23 Dec 2018
Name:Martin Lester
Bio:
I received my undergraduate degree in Computer Science from the University of Cambridge. I completed a master’s degree, doctorate and postdoc at the University of Oxford. My thesis was on information flow and metaprogramming, considering specifically the eval construct as found in JavaScript. Since September 2018, I have been a lecturer at the University of Reading.
Country:United Kingdom
Affiliation:University of Reading
Personal website: https://www.reading.ac.uk/search/search-staff-details.aspx?id=20610
Research interests:Automated verification, Programming language design and semantics, Logic
Contributions
Using general profile