[Photo of Alexey Gotsman]

Alexey Gotsman

Assistant Research Professor

IMDEA Software Institute
Campus Montegancedo s/n
28223-Pozuelo de Alarcón, Madrid, Spain
Tel.: +34-91-101-2202 ext 4136
Fax: +34-91-101-1358
Email: Alexey.Gotsman imdea.org

I am a tenure-track Assistant Research Professor at the IMDEA Software Institute. Before joining IMDEA, I was a postdoctoral fellow at the University of Cambridge, where I also got my Ph.D. My research interests are in software verfication, particularly, in developing reasoning techniques and automated verification tools for real-world concurrent systems software.

Research group

I am looking for enthusiastic students to work with me on topics of mutual interest. If you're interested in doing an internship or PhD with me, apply here and send me an email.


I am the coordinator of the EU project ADVENT, funded through the FP7 FET Young Explorers scheme.

Recent publications


Selected talks