The information in this page may be outdated, as Artem Khyzha is currently not a member of the Institute.
Artem is a PhD student at IMDEA Software Institute under Alexey Gotsman’s supervision.
For further information please visit his personal homepage.
Software verification, semantics of programming languages, concurrency.
