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
Off the Beaten Track 2017Author of Can we machine-learn programming language semantics? within the OBT-track
HOPE 2016Committee Member in Program Committee within the HOPE-track