Alexey GotsmanAlexey Gotsman is an assistant research professor at the IMDEA Software Institute in Madrid, Spain. Before joining IMDEA, he held an EPSRC Postdoctoral Fellowship in Theoretical Computer Science at the University of Cambridge, where he also obtained is PhD. His research interests are in software verfication, particularly, in developing reasoning techniques and automated verification tools for real-world concurrent systems software. Read More Read Less