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
Nationality
Also in Geography Atlas: the nationality of this subject.
Source Wikidata: Sophia Drossopoulou
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 section
Sophia Drossopoulou (Greek: Σοφία Δροσοπούλου) 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.