Raúl Pardoمشاهده پروفایل
دانشیار
- Privacy
- Computer Security
- Formal Methods
- +۵ مورد دیگر
Raúl Pardo is an Associate Professor in Computer Science at the IT University of Copenhagen (ITU). He previously held postdoctoral positions at ITU's SQUARE group and Inria's Privatics team. He earned his PhD from Chalmers University of Technology, focusing on formalizing privacy policies for social networks under Gerardo Schneider's supervision. His research integrates formal methods with privacy and security, addressing topics such as privacy risk analysis, probabilistic programming, and GDPR compliance. Key domains include genetic data, IoT, and social networks. Publications highlight contributions to privacy quantification, formal verification of consent mechanisms, and probabilistic systems analysis. He actively participates in conferences like SEFM, SOSYM, and ETAPS, and has organized tracks on verification and learning for autonomous systems. Pardo teaches courses on probabilistic programming, formal methods, and security at ITU, INSA Lyon, and Chalmers. Notable students include Rasmus Carl Rønneberg (SEFM'23) and Ivana Kellyérová (TIME'16). His work has been recognized, including a nomination for the Danish MSc thesis award. He leads the SQUARE research group at ITU, focusing on privacy-preserving software systems and probabilistic modeling.








