IMDEA Software

IMDEA initiative

Home > People

Alexey Gotsman

PhD - University of Cambridge, United Kingdom

Research Professor

Alexey Gotsman
IMDEA Software Institute

Office: 378
Telephone: +34-91-101-2202 ext 4136
Email: Alexey Gotsman e-mail
Home Page: https://software.imdea.org/~gotsman/

Research Interests

Software verfication and distributed computing.