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
SPAIN

Office: 320
Telephone: +34 91-101-2202 ext 4123
Fax: +34-91-101-1358
Webpage: http://software.imdea.org/people/artem.khyzha/index.html
Email:

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.