Edificio IMDEA Software
Campus Montegancedo UPM
28223-Pozuelo de Alarcón, Madrid
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.