ETAPS 2019 (series) / Dan Ghica
Registered user since Tue 17 Jan 2017
Name: Dan Ghica
Bio: #Reader in Semantics of Programming Languages, University of Birmingham, UK
Country: United Kingdom
Affiliation: University of Birmingham
Personal website: http://www.cs.bham.ac.uk/~drg/
Research interests: Programming languages
Contributions
| PERR 2019 | Local Reasoning for Robust Observational Equivalence | ||||||||||||||||||||||||||||||||||||||||
| GaLoP 2019 | Committee Member in Steering Committee within the GaLoP-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ETAPS 2019-profile
View general profile
View general profile