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
Email: Artem Khyzha e-mail

Short bio

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.