Alexey Gotsman
PhD - University of Cambridge, United Kingdom
Research Professor
Office: 378
Telephone: +34-91-101-2202 ext 4136
Email:
|
@ |
|
alexey.gotsman |
imdea.org |
Home Page:
https://software.imdea.org/~gotsman/
Research Interests
Software verfication and distributed computing.