IMDEA Software

IMDEA initiative

Home > People > Alexey Gotsman

Alexey Gotsman

Alexey Gotsman
PhD - University of Cambridge, United Kingdom
Research Professor

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

Research Interests

Software verfication and distributed computing.