Raúl Pardo

Postdoctoral researcher at IT University of Copenhagen

Email: Click to reveal email

PGP key: 4B672BECAB3CC688

Phone: +46 (0) 764 07 09 47

IT University of Copenhagen (room 4F16-4T76)
Rued Langgaards Vej 7,
2300 Copenhagen S, Denmark.
[ | DBLP | | | | ]
Raul Pardo's picture

About me

Starting on February 2022, I will be an Assistant Professor at the IT University of Copenhagen. Currently, I am a Postdoctoral researcher in the SQUARE group at the IT University of Copenhagen hosted by Andrzej Wąsowski. In the past, I was a Postdoctoral researcher in the Privatics team at Inria hosted by 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.

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
  • Probabilistic programming
  • Bayesian data analysis



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.


PC Member

External Reviewer


Master thesis supervision




IT University of Copenhagen

  • Practical Concurrent and Parallel Programming: 2021. Course Responsible.
  • Probabilistic Programming: 2019, 2020. Lecturer.
  • Applied Information Security: 2019, 2020. Lecturer.


  • Middleware Design and Implementation (IST-4-MID): 2018. Course Responsible.

Université Grenoble Alpes

  • Advanced Security: 2018. Lecturer.

Chalmers University of Technology

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