ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Todd Waugh Ambridge

Registered user since Wed 13 Mar 2019

Name: Todd Waugh Ambridge

Country: United Kingdom

Affiliation: University of Birmingham

Personal website: http://cs.bham.ac.uk/~txw467/

Research interests: Programming Languages, Foundational Aspects of Machine Learning

Contributions

PERR 2019Author of Local Reasoning for Robust Observational Equivalence within the PERR-track
Show activities from other conferences

ETAPS 2019-profile
View general profile