Imperial College London
SLURP
Sound Languages Underpin Reliable Programming

The SLURP Group

Sophia Drossopoulou

Sophia

"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
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

Matthew






Friends of SLURP