Ornela Dardha - ICFP 2021 (original) (raw)

Name:Ornela Dardha

Country:United Kingdom

Affiliation:University of Glasgow

Personal website: http://www.dcs.gla.ac.uk/~ornela/

Research interests:programming languages, concurrency, logic, verification