Scholar
Raúl Pardo
Google Scholar ID: WRuI72kAAAAJ
IT University of Copenhagen
Citations & Impact
Citations
242
H-index
9
i10-index
7
Publications
20
Co-authors
28
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Published multiple papers such as 'ProbTest: Unit Testing for Probabilistic Programs', 'SAT-Metropolis: Combining Markov Chain Monte Carlo with SAT/SMT Sampling', etc.
Research Experience
- Currently an associate professor at IT University of Copenhagen; previously a postdoc in the SQUARE group hosted by Andrzej Wąsowski; and a postdoc in the Privatics team at Inria, hosted by Daniel Le Métayer.
Education
- PhD in Computer Science from Chalmers University of Technology, supervised by Gerardo Schneider
Background
- Research interests: formal methods, online privacy, and computer security. Focuses on developing rigorous techniques to design, analyze, and build software to protect online privacy. Current research topics include: formal models for privacy, privacy risk analysis, probabilistic programming, and Bayesian data analysis.
