IMDEA initiative

Home > People

Artem Khyzha

MS - Dnipropetrovsk National University, Ukraine

PhD Student

Artem Khyzha IMDEA Software Institute
Edificio IMDEA Software
Campus Montegancedo UPM
28223-Pozuelo de Alarcón, Madrid

Office: 320
Telephone: +34 91-101-2202 ext 4123
Fax: +34-91-101-1358

Short bio

Artem started PhD studies at IMDEA Software under Alexey Gotsman's supervision in September 2012 after finishing BSc in Applied Mathematics at Dnipropetrovsk National University in Ukraine.

Artem's research interests are in reasoning about concurrent systems, relaxed memory models and semantics of programming languages.