Sophia Drossopoulou is Professor of Programming Languages at Imperial College London and a Dahl–Nygaard Senior Prize winner. She works on programming languages, models and reasoning about programs and algorithms.