Artem Khyzha

La información de esta página podría estar desactualizada debido a que Artem Khyzha no es actualmente miembro del Instituto.

MS - Universidad Nacional de Dnipró, Ucrania
Antiguo PhD Student

Página web: https://software.imdea.org/~artem/
Tutor: Alexey Gotsman

Esta página aún no ha sido traducida. A continuación se muestra la página en inglés.

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.