Raúl Pardo

Postdoctoral researcher at IT University of Copenhagen


Email: Click to reveal email

PGP key: 19C8163A

Phone: +33 (0) 767 87 18 99

Postal address:
IT University of Copenhagen (room 4D06)
Langgaards Vej 7,
2300 Copenhagen S, Denmark.
[     |   DBLP  |     |     |     |     ]
Raul Pardo's picture

About me


I am a Postdoctoral researcher in the SQUARE group at the IT University of Copenhagen where I work with Andrzej Wąsowski and Willard Rafnsson. In the past, I was a Postdoctoral researcher in the Privatics team at Inria where I worked with Daniel Le Métayer. I have a PhD degree in Computer Science from Chalmers University of Technology. During my PhD studies I was part of the Formal Methods Division at the Department of Computer Science and Engineering. I was supervised by Gerardo Schneider, Musard Balliu and David Sands.

Research interest

My research is focused on developing rigorous techniques to design, analyse and build software to protect online privacy. My interests lie at the intersection of formal methods, online privacy and computer security. Currently, I am working in the following topics:

  • Formal models for privacy
  • Privacy risk analysis
  • Verification of smart contracts


Publications



Theses


PhD thesis

Licentiate thesis

The licentiate thesis is part of the licentiate degree, which is a half way PhD title which can be acquired in Sweden.



Teaching


Master thesis supervision

Current

Past

Courses

IT University of Copenhagen

INSA Lyon

Université Grenoble Alpes

Chalmers University of Technology

During my PhD studies I was Teaching Assistant (TA) for the following courses: