Sophia Drossopoulou is a Greek computer scientist born in Athens, a professor of programming languages at Imperial College London whose research applies formal methods to programming languages, including a proof of the soundness of the Java programming language's type system. She earned her doctorate at the Karlsruhe Institute of Technology under Gerhard Goos and Peter Deussen, and her first doctoral student was Diomidis Spinellis. She received the Dahl Nygaard Prize in 2023 for her contributions to object oriented programming research.
Facts
Connections
In Field
Source Sophia Drossopoulou (Wikipedia)
In the Other Atlases
- Also in Geography Atlas: Greece, nationality there.
Sources
1. Wikidata: Sophia Drossopoulou
Wikidata Q4815312, resolved via en.wikipedia pageprops (wave rule R-L)View the Source Sophia Drossopoulou (Wikipedia)
In Field: Programming Language Theory, Lead sentence
Sophia Drossopoulou () is a Greek computer scientist, currently working at Imperial College London, where she is Professor in Programming Languages.
- In Field: Programming Language Theory, Lead paragraph
View the SourceReader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.