Iniciativa IMDEA

Inicio > Personal

Artem Khyzha

MS - Dnipropetrovsk National University, Ukraine

PhD Student

Artem Khyzha
Instituto IMDEA Software

Office: 320
Telephone: +34 91-101-2202 ext 4123
Email: Artem Khyzha e-mail
Página web: http://software.imdea.org/~artem/

Tutor: 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.

Intereses de Investigación

Software verification, semantics of programming languages, concurrency.