VMCAI
Sun 17 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Alexey Gotsman

Not registered as user yet

Name:Alexey Gotsman
Bio:

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

Contributions

POPL 2016 Committee Member in Program Committee within the Research Papers-track
'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems
Committee Member in Program Committee
Session Chair of Track 2: Semantics and memory models (part of Research Papers)
Show activities from other conferences

POPL 2016-profile
View general profile