Artem Khyzha

MS - Dnipropetrovsk National University, Ukraine

PhD Student

IMDEA Software Institute
Edificio IMDEA Software
Campus Montegancedo UPM
28223-Pozuelo de Alarcón, Madrid
SPAIN

Office: 320
Telephone: +34 91-101-2202 ext 4123
Fax: +34-91-101-1358
Webpage: http://software.imdea.org/people/artem.khyzha/index.html
Email:

Short bio

Artem started PhD studies at IMDEA Software under Alexey Gotsman's supervision in September 2012 after finishing BSc in Applied Mathematics at Dnipropetrovsk National University in Ukraine.

Artem's research interests are in reasoning about concurrent systems, relaxed memory models and semantics of programming languages.

Publications

• Artem Khyzha, Pavel Parízek, Corina S. Pasareanu
  Abstract Pathfinder [PDF]
  The Java Pathfinder Workshop 2012, Cary, North Carolina, USA. To appear.