SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
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
Research interests:Automated verification, Programming language design and semantics, Logic

Contributions

APLAS 2022 Committee Member in Artifact Evaluation Committee
Show activities from other conferences

Using general profile