ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
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 2019Author of Local Reasoning for Robust Observational Equivalence within the PERR-track
GaLoP 2019Committee Member in Steering Committee within the GaLoP-track
Show activities from other conferences

ETAPS 2019-profile
View general profile