SPLASH 2024 (series) / Sophia Drossopoulou
Registered user since Sat 6 Jun 2015
Name:Sophia Drossopoulou
Country:United Kingdom
Affiliation:Imperial College London
Personal website: https://wp.doc.ic.ac.uk/sd/
Research interests:Object-oriented programming, Programming Languages, Semantics, Types, Concurrency, Holistic Specifications and Verification
Contributions
Using general profile