2018-annual-report

47
annual report
20
Raúl Alborodo
Research Assistant
Alejandro Aguirre
Research Assistant
Isabel García
Research Assistant
Elena Gutiérrez
Research Assistant
Degree: BS in computer Science,
Universidad Nacional de Río Cuarto
(UNRC), Argentina.
Research: Formal methods applied
to concurrent programming, software
specification and verification.
Design of model-driven methodologies
for concurrent programming
based on shared resources.
Degree: M.Sc. in Informatics,
Université Paris Diderot (Paris 7),
France.
Research: Formal methods for software
verification, with emphasis on
the design and implementation of
type systems to check relational
properties of programs.
Degree: M.Sc. in Artificial Intelligence,
Technical University of
Madrid (UPM), Spain.
Research: Abstract interpretationbased
static analysis of programs
and how it can be applied to
semantic code search. Incremental
analysis and verification of
programs and its applications.
Applications of (Constraint) Logic
Programming.
Degree: Double BS in Computer
Science and Mathematics, Universidad
Autónoma de Madrid (UAM),
Spain.
Research: Formal program verification
using Horn clauses: linearisation
of constraint logic programs.
Applications of automata theory
for solving problems in formal languages.
Pedro Valero
Research Assistant
Joakim Öhman
Research Assistant
Jesús Domínguez
Research Assistant
Richard Rivera
Research Assistant
Degree: Double BS in Computer
Science and Mathematics, Universidad
Autónoma de Madrid (UAM),
Spain.
Research: Applications of language’s
theory into data validation.
Degree: M.Sc., University of Gothenburg,
Sweden.
Research: Formal verification of
software and systems. Design and
implementation of type theory,
especially for concurrent systems.
Degree: M.Sc., National Autonomous
University of Mexico, México.
Research: Formal verification of
software, concurrency, and type
theory.
Degree: M.Sc. in Software and
Systems, Technical University of
Madrid (UPM), Spain, and Engineering
in Information Systems and
Computing, Escuela Politécnica
Nacional (EPN), Ecuador.
Research: Malware analysis
and classification, cybercrime,
machine learning applied to security,
development and optimization
of malware analysis environments.