Alexey Gotsman

1201

IMDEA

Alexey Gotsman is an Associate Research Professor at the IMDEA Software Institute in Madrid, Spain. Before joining IMDEA, Alexey was a postdoctoral fellow at the University of Cambridge, where he also got Ph.D. His research interests are at the intersection of software verification and distributed computing.

sptdc