Imperial College London
Sound Languages Underpin Reliable Programming

The SLURP Group

Sophia Drossopoulou


"I am in the very lucky position of doing research in an area that combines two interests that I developed even before I was aware that computers existed (it was possible not to know about computers when I was a child):

I studied Computer Science for rather random reasons, and went into Compiler Construction more because of the personality of my Professor, than because of the subject. The biggest revelation to me while I was an undergraduate student was Hoare's logic, and the relief to know that programs' behaviour could be reasoned about.

So, I love using formal ways to understand existing programming languages, design good features for Programming Languages, and ways of reasoning about programs."

Susan Eisenbach

Susan is a Professor in the Department of Computing.

Alex Ahern

Nick Cameron

David Cunningham

Tristan Allwood

Matthew Sackman

William Heaven

Dimitris Mostrous

Alexis Petrounias

Matthew Smith


Friends of SLURP