2018-annual-report

research
45
Research Assistants hold full scholarships or contracts at the Institute, performing research
within one of the Institute’s research lines under the supervision of a junior or senior
researcher, and they undertake their Ph.D. at one of the Universities that the Institute has
agreements with. Many of our Research Assistants obtain their degrees from the Technical
University of Madrid (UPM), with whom the Institute collaborates in the development of
graduate programs, and also at Universidad Complutense de Madrid (UCM).
annual report
20
Miriam García
Research Assistant
Artem Khyzha
Research Assistant
Nataliia Stulova
Research Assistant
Maximiliano Klemen
Research Assistant
Degree: M.Sc. in Mathematical
Modeling in Engineering, University
of L’Aquila and University of
Hamburg.
Research: Stability analysis based
on model-checking techniques;
hybrid systems; applied mathematics
(PDEs, dynamical systems).
Degree: M.Sc. in Software and
Systems, Technical University of
Madrid (UPM), Spain.
Research: Artem is interested in
providing mathematical tools for
understanding and proving correctness
of concurrent algorithms
operating on shared memory. His
research efforts have focused on
designing techniques for proving
linearizability of non-blocking
algorithms and data structures,
and formalising those techniques
in program logics.
Degree: M.Sc. in Artificial Intelligence,
Technical University of
Madrid (UPM), Spain.
Research: Assertion languages,
their design and use in automatic
program documentation, source
code specification and instrumentation.
Assertion-based run-time
software verification and debugging.
Combination of static and
dynamic program analysis.
Degree: B.Sc., Universidad Nacional
del Comahue (UNCo), Argentina.
Research: Abstract interpretationbased
static analysis for inferring
energy consumption information
about (concurrent) program executions.