2018-annual-report

41
annual report
20
Ignacio Fábregas
Postdoctoral Researcher
Avinash Sudhodanan
Postdoctoral Researcher
Pablo Chico de Guzmán
Postdoctoral Researcher
Srdjan Matic
Postdoctoral Researcher
Ignacio Fábregas received both
his bachelor degree in Mathematics
and Ph.D. in Computer Science
at Universidad Complutense de
Madrid (UCM). In 2017 he joined
the IMDEA Software Institute as
a post-doctoral researcher, where
he works with Aleks Nanevski on
the topic of Separation Logics for
Concurrency. Before joining IMDEA
Software he was a postdoc in Reykjavik
University (Iceland), where
he worked with Luca Aceto.
Research Interests
His current research interest are
concurrency and logics. In particular,
he is interested in separation
logics, modal logics, category
theory for computer science, and
process semantics.
Avinash Sudhodanan joined the
IMDEA Software Institute as a postdoctoral
researcher in May 2017.
Prior to taking up this position,
Avinash was pursuing his Ph.D.
in Information and Communication
Technology from University of
Trento, Italy, where he graduated
in April 2017. During his Ph.D., he
worked as an Early-Stage Researcher
at the Fondazione Bruno Kessler,
Italy. He also spent 18 months
of his Ph.D. at SAP Labs France,
working closely with the product
security research team of SAP.
Avinash pursued his Bachelors in
Computer Science and Engineering
(graduated in 2011) and Masters in
Cyber Security (graduated in 2013)
from Amrita Vishwa Vidyapeetham
University, India.
Research Interests
Avinash’s research interests primarily
lie in the area of automatic
detection of security vulnerabilities
in web applications. His Ph.D.
research has led to the discovery
of hundreds of serious security vulnerabilities
in prominent web sites.
Recently he also started focusing
on the automatic detection of
potentially unwanted programs
and malware.
Pablo completed his Ph.D. at the
Technical University of Madrid,
Spain. The focus of his dissertation
was on parallel computation and
advanced compilation techniques
in order to allow more declarative
programming techniques. His
dissertation was completed while
researching at the IMDEA Software
Institute. After his dissertation, he
worked in several worldwide leading
companies in the field of cloud
computing. In particular, he developed
orchestration tools at Docker
for three years. Starting in 2017,
he is a postdoctoral researcher
at the IMDEA Software Institute
where he works with César Sánchez
on declarative techniques for massive
deployments.
Research Interests
Pablo’s research interests are cloud
computing and the development of
declarative and easy to use tools
for complex orchestration of distributed
systems.
Srdjan Matic obtained a B.Sc. and
an M.Sc. in computer science from
the Universita degli Studi di Milano.
During his Ph.D. at the Universita
degli Studi di Milano, he spent half
of his time as a visiting student at
the IMDEA Software Institute. He is
a postdoctoral researcher at IMDEA
Since June 2017.
Research Interests
Srdjan’ research main line of
research includes privacy and
security issues that affect systems
and their users. In the past he
studied leaks of sensitive information
in public cloud services and
topological relations among hosts
of spamming infrastructures. During
his Ph.D. he focused on anonymity
networks and specifically
on threats to owners of different
services that are available in the
Tor network.