Sat 6 - Thu 11 April 2019 Prague, Czech Republic

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

2019

GaLoP

Committee Member in Steering Committee within the GaLoP-track

PERR

Local Reasoning for Robust Observational Equivalence

Show activities from other conferences

ETAPS 2019-profile
View general profile