[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.

Funding

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

Recent publications

Activities

Selected talks

Teaching