Edificio IMDEA Software
Campus Montegancedo UPM
28223-Pozuelo de Alarcón, Madrid
Telephone: +34 91-101-2202 ext 4123
Artem is a PhD student at IMDEA Software Institute under Alexey Gotsman's supervision. His researrch interests are in reasoning about concurrent systems and semantics of programming languages.For further information please visit his personal homepage.