Raúl Pardo

Assistant Professor, IT University of Copenhagen

Email: Click to reveal email

PGP key: 4B672BECAB3CC688

Phone: +45 72 18 50 50

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

About me

I am an assistant professor in computer science at the IT University of Copenhagen. In the past, I was a postdoc in the SQUARE group at the IT University of Copenhagen hosted by Andrzej Wąsowski. Previously, I was a postdoc 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

I tackle privacy issues in a wide range of domains including data analytics, eye information, genetic data, social networks and the Internet of Things (IoT). Within these domains, I work on quantifying privacy risks and enforcing legal privacy requirements (e.g., GDPR requirements). In this video, I talk about privacy risk analysis for genetic data.
Source: ITU Research Channel



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.


Invited Speaker


PC Member

External Reviewer


MSc thesis supervision

I am happy to supervise BSc and MSc projects on privacy, probabilistic programming, Bayesian data analysis, concurrency and formal verification. You can find a list of project ideas here (requires ITU login). All the projects in the list are at the forefront of scientific research in their respective domains, and I encourage students to publish their work in scientific venues such as international conferences. Here are some example theses that I have supervised and were published in a scientific venue:


IT University of Copenhagen

MSc courses
  • Practical Concurrent and Parallel Programming: 2021. 2022. 2023. Course Responsible.
  • Probabilistic Programming: 2020, 2021, 2022. Lecturer. 2024. Course Responsible.
  • Advanced Software Analysis: 2022. Lecturer.
  • Applied Information Security: 2019, 2020. Lecturer.
  • Advanced Security: 2023. Guest lecturer.
PhD courses
  • Foundations of Probabilistic Programming. 2023. Organizer/Lecturer.
  • Quantitative Information Flow. 2020. Organizer/Lecturer.


BSc courses
  • Middleware Design and Implementation: 2018. Course Responsible.

Université Grenoble Alpes

MSc courses
  • Advanced Security: 2018. Lecturer.

Chalmers University of Technology

MSc courses
  • Formal Methods for Software Development: 2017, 2016, 2015. Teaching Assistant.
BSc courses