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:

Research interests: Programming languages


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