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

Publications

Analysis of Privacy Policies to Enhance Informed Consent
Raúl Pardo and Daniel Le Métayer. In 33rd Annual IFIP WG 11.3 Conference on Data and Applications Security and Privacy (DBSec) (Charleston, South Carolina, USA. 2019).
[ bib | .pdf | Abstract | Extended Version ]
Verification of Smart Contract Business Logic: Exploiting a Java Source Code Verifier
Wolfgang Ahrendt, Richard Bubel, Joshua Ellul, Gordon J. Pace, Raúl Pardo, Vincent Rebiscoul and Gerardo Schneider. In 8th IPM International Conference on Fundamentals of Software Engineering (FSEN) (Tehran, Iran. 2019).
[ bib | .pdf | Abstract ]
Timed Epistemic Knowledge Bases for Social Networks
Raúl Pardo, César Sánchez and Gerardo Schneider. In 22nd International Symposium on Formal Methods (FM) (Oxford, UK. 2018).
[ bib | .pdf | Abstract | Slides ]
MoVEMo: A Structured Approach for Engineering Reward Functions
Piergiuseppe Mallozzi, Raúl Pardo, Vincent Duplessis, Patrizio Pelliccione and Gerardo Schneider. In 2nd IEEE International Conference on Robotic Computing (IRC) (Laguna Hills, CA, USA. 2018).
[ bib | .pdf | Abstract ]
Model Checking Social Network Models
Raúl Pardo and Gerardo Schneider. In 8th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF) (Rome, Italy. 2017).
[ bib | .pdf | Abstract ]
Secure Photo Sharing in Social Networks
Pablo Picazo-Sanchez, Raúl Pardo and Gerardo Schneider. In 32nd International Conference on ICT Systems Security and Privacy Protection (IFIP SEC) (Rome, Italy. 2017).
[ bib | .pdf | Abstract ]
Formalising Privacy Policies in Social Networks
Raúl Pardo, Musard Balliu and Gerardo Schneider. In Journal of Logical and Algebraic Methods in Programming (JLAMP), 2017.
[ bib | .pdf | Abstract ]
Specification of Evolving Privacy Policies for Online Social Networks
Raúl Pardo, Ivana Kellyérová, César Sánchez and Gerardo Schneider. In 23rd International Symposium on Temporal Representation and Reasoning (TIME) (Copenhagen, Denmark. 2016).
[ bib | .pdf | Abstract ]
An Automata-based Approach to Evolving Privacy Policies for Social Networks
Raúl Pardo, Christian Colombo, Gordon J. Pace and Gerardo Schneider. In 16th International Conference on Runtime Verification (RV) (Madrid, Spain. 2016).
[ bib | .pdf | Abstract ]
On the Runtime Enforcement of Evolving Privacy Policies in Online Social Networks
Gordon J. Pace, Raúl Pardo and Gerardo Schneider. In 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA) (Corfu, Greece. 2016).
[ bib | .pdf | Abstract ]
A Formal Privacy Policy Framework for Social Networks
Raúl Pardo and Gerardo Schneider. In 12th International Conference on Software Engineering and Formal Methods (SEFM) (Grenoble, France. 2014).
[ bib | .pdf | Abstract ]
GPU Powered ROSA Analyzer
Raúl Pardo, Fernando L. Pelayo and Pedro Valero-Lara. In 2nd Workshop on Heterogeneous and Unconventional Cluster Architectures and Applications (HUCAA) (Lyon, France. 2013).
[ bib | .pdf | Abstract ]
Computational Analysis of Canny & Binary Fuzzy Rough Set Model Based on Triangle Modulus Edge Detector
Raúl Pardo and Fernando L. Pelayo. In 11th IEEE International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC) (Kyoto, Japan. 2012).
[ bib | .pdf | Abstract ]
ROSA Analyser: An automatized approach to analyse processes of ROSA
Raúl Pardo and Fernando L. Pelayo. In 2nd Workshop on Formal Methods in the Development of Software (WS-FMDS) (Paris, France. 2012).
[ bib | .pdf | Abstract ]

Teaching

Master thesis supervision

Current

Alina-Roxana Preda. Experiments on Using Bayesian Analysis for Data Privacy. IT University of Copenhagen.
Valon Huskaj and Arbnor Viljali. Enforcing Dynamic Privacy Policies in Online Social Networks. Chalmers University of Technology.

Past

Mushfiqur Rahman. A Petri Nets Semantics for Privacy-Aware Data Flow Diagrams. University of Gothenburg, 2017.
Ivana Kellyérová. A Real-Time Extension of the Formal Privacy Policy Framework. University of Gothenburg, 2016.

Courses

IT University of Copenhagen

Probabilistic Programming. 2019. Lecturer.
Applied Information Security. 2019. Lecturer.

INSA Lyon

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:

Formal Methods for Software Development: 2017, 2016, 2015.
Principles of Concurrent Programming: 2017 LP1, 2016 LP3, 2016 LP1, 2015 LP3, 2015 LP1, 2014 LP3, 2014 LP1, 2013 LP3, 2013 LP1.
Databases: 2014, 2013.

Raúl Pardo