Write a Blog >>
APLAS 2019
Sun 1 - Wed 4 December 2019 Bali, Indonesia
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


APLAS 2019Ordinary PC member in Program Committee within the Research Papers-track
Show activities from other conferences

APLAS 2019-profile
View general profile