2018-annual-report

43
annual report
20
Marco Guarnieri
Postdoctoral Researcher
Joseph Izraelevitz
Postdoctoral Researcher
Francesco Gavazzo
Postdoctoral Researcher
Marco joined the IMDEA Software
Institute as a postdoctoral
researcher in July 2018. Before
that, he worked as a postdoctoral
researcher at ETH Zurich, where he
also completed a Ph.D. in the Information
Security group. He received
his bachelor’s and master’s degrees
in computer engineering from Università
degli Studi di Bergamo.
During his bachelor studies, he did
an internship at SAP Labs France.
Research Interests
Marco’s research focuses on the
design, analysis, and implementation
of practical systems for
securely storing and processing
sensitive data. To achieve this
goal, he combines concepts and
techniques from diverse domains,
such as databases, logics, probabilistic
models, programming
languages, and program verification.
He applies his research to
the analysis of microarchitectural
side-channel attacks (and countermeasures),
database security, and
the enforcement of probabilistic
security policies. More generally,
he is interested in security and
privacy, programming languages,
and formal methods.
Dr. Joseph (Joe) Izraelevitz joined
IMDEA Software Institute as a
postdoctoral researcher in January
2018. He previously defended his
doctoral degree in December 2017
under Prof. Michael L. Scott at the
University of Rochester in Rochester,
NY. He received his undergraduate
degree from Washington
University in St. Louis in 2009.
Research Interests
Joe’s research interests include
distributed computing theory,
shared memory synchronization,
and parallelism in general. With
a background in shared memory
programming, his doctoral research
explored the impact of new nonvolatile
memory technologies on
both practical systems infrastructure
and formal program reasoning.
Francesco Gavazzo received his BA
degree in Philosophy from the University
of Padua, his MSc degree in
Logic from the Institute for Logic,
Language, and Computation (University
of Amsterdam), and his PhD
in Computer Science and Engineering
from the University of Bologna.
He joined the IMDEA Software
Institute in December 2018.
Research Interests
Francesco’s research focuses on
programming language theory
and formal methods, and specifically
on semantics of programming
languages. Francesco is currently
working on formal techniques for
impure higher-order programming
languages, as well as for languages
for artificial intelligence.