[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 with me, send me an email.

Recent publications



Selected talks