Iniciativa IMDEA

Inicio > Personal

Artem Khyzha

MS - Dnipropetrovsk National University, Ukraine

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

Antiguo PhD Student

Artem Khyzha
Página web: http://software.imdea.org/~artem/

Short bio

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

For further information please visit his personal homepage.

Intereses de Investigación

Software verification, semantics of programming languages, concurrency.