IMDEA initiative

Home > People

Alexey Gotsman

PhD - University of Cambridge, UK

Associate Research Professor

Alexey Gotsman
IMDEA Software Institute

Edificio IMDEA Software
Campus Montegancedo UPM
28223-Pozuelo de Alarcón, Madrid

Office: 378
Telephone: +34-91-101-2202 ext 4136
Fax: +34-91-101-1358
Home Page:

Short bio

Alexey joined IMDEA Software in September 2010 after completing a post-doctoral position at the University of Cambridge, where he also obtained his Ph.D.

Alexey's research interests are in software verification, particulary, in developing reasoning techniques and automated verification tools for real-world concurrent system software.

For a list of publications or further information please visit his personal homepage.