SPLASH 2023 (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
2023
Using general profile