[Photo of Alexey Gotsman]

Alexey Gotsman

Research Professor

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

I am a tenured Research Professor at the IMDEA Software Institute. I also work part-time as a visiting academic at Amazon Web Services. Before joining IMDEA I was a postdoctoral fellow at the University of Cambridge, where I also got my Ph.D. My research interests are at the intersection of software verification and distributed computing.


Recent publications

Research group

I have postdoc, PhD student and intern positions available. Apply here under "Open Call" and mention my name in the application documents.

Alumni:

Activities

Funding

Teaching