![Alexey Gotsman](https://popl16.sigplan.org/getProfileImage/alexeygotsman/0e51eef0-a1e5-4159-a063-07cd098bf983/small.jpg?1711493831000)
Registered user since Mon 24 Apr 2023
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
Personal website: http://software.imdea.org/~gotsman/
Contributions
POPL 2016-profile
View general profile
View general profile