Artem Khyzha
The information in this page may be outdated, as Artem Khyzha is currently not a member of the Institute.
MS - Dnipropetrovsk National University, Ukraine
Former PhD Student
Home Page: https://software.imdea.org/~artem/
Adviser: Alexey Gotsman
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.