Name:Sophia Drossopoulou

Bio:

Sophia Drossopoulou is a Professor of Programming Languages at Imperial College London. She obtained her PhD at KIT (Karlsruhe), and has held positions at KIT, Microsoft Research, and Meta. Her research spans programming language specification, design, and implementation, with contributions across a broad range of topics: ownership types, session types, concurrency, wildcard types, traits, garbage collection, dynamic linking, object reclassification(a precursor to type state), object to class based transition (a precursor to gradual types), program verification, and object capabilities.

Country:United Kingdom

Affiliation:Imperial College London

Research interests:Object-Oriented Programming, Programming Languages, Semantics, Types, Concurrency, Program Verification, Object Capabilities