Alexey Gotsman

PhD - University of Cambridge, UK

Assistant Research Professor (tenure-track)

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

Office: 378
Telephone: +34-91-101-2202 ext 4136
Fax: +34-91-101-1358
Webpage: http://software.imdea.org/~gotsman/
Email:

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.