Sophia Drossopoulou

Sophia Drossopoulou is a Professor of Programming Languages at the Department of Computing, Imperial College London. Her research interests include concurrent programming, program verification, characterization of program evolution, and theorem proving. She is also an unofficial member of the Verona Project. Her work has been presented at various conferences, including ECOOP, QCon, and OOPSLA. She is associated with the Green Concerns Blog and has contributed to discussions on programming languages and software engineering.

Sophia Drossopoulou is a Professor at Imperial College London, specializing in Programming Languages, Program Verification, Compilers, and Type Systems. Her research focuses on ensuring the correctness and safety of software systems through formal methods and type theory. She has contributed significantly to the development of type systems for object-oriented languages, including Java, and explored type inference, binary compatibility, and session types for concurrency. Her work on program verification and automated reasoning tools, such as Zeno, aims to enhance the reliability of software through formal proofs. Additionally, she has investigated dynamic object reclassification and the design of safe, distributed programming languages.