Blogs (28) >>
ECOOP 2016
Sun 17 - Fri 22 July 2016 Rome, Italy
Alexey Gotsman

Registered user since Mon 24 Apr 2023

Name:Alexey Gotsman

I am a tenure-track Assistant Research Professor at the IMDEA Software Institute. Before joining IMDEA, I was a postdoctoral fellow at the University of Cambridge, where I also got my Ph.D. My research interests are in software verfication, particularly, in developing reasoning techniques and automated verification tools for real-world concurrent systems software.

Affiliation:IMDEA Software Institute


Show activities from other conferences

ECOOP 2016-profile
View general profile