IMDEA Software

IMDEA initiative

Home > People > Artem Khyzha

Artem Khyzha

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

Artem Khyzha
MS - Dnipropetrovsk National University, Ukraine
Former PhD Student

Home Page: https://software.imdea.org/~artem/
Adviser: Alexey Gotsman

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.