IMDEA Software

IMDEA initiative

Home > People

Artem Khyzha

MS - Dnipropetrovsk National University, Ukraine

The information in this page may be outdated, as Artem Khyzha is no longer a member of the Institute.

Former PhD Student

Artem Khyzha
Home Page:

Short bio

Artem is a PhD student at IMDEA Software Institute under Alexey Gotsman's supervision.

For further information please visit his personal homepage.

Research Interests

Software verification, semantics of programming languages, concurrency.