IMDEA initiative

Home > People

Alexey Gotsman

PhD - University of Cambridge, UK

Associate Research Professor

Alexey Gotsman
IMDEA Software Institute

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

Research Interests

Software verfication, particularly, developing reasoning techniques and automated verification tools for real-world concurrent systems software.