Alexey Gotsman
PhD - University of Cambridge, United KingdomResearch 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.