[Photo of Alexey Gotsman]

Alexey Gotsman

Associate 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 Associate 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 at the intersection of software verification and distributed computing.


Recent publications

Research group

I have multiple Postdoc, PhD student and intern positions available, funded by an ERC grant. Details and instructions on how to apply are here.

Alumni:

Activities

Funding

Teaching