Raúl Pardo

Ph.D student in Computer Science at Chalmers University of Technology

Email: pardo at chalmers.se

Phone: +46 (0) 762 74 45 61

Visiting address: Rännvägen 6 Room: 5447, 5th floor (EDIT-building)

Postal Address: Department of Computer Science and Engineering, Chalmers University of Technology, 412-96 Gothenburg, Sweden

Raul Pardo's picture

About me

I am a Ph.D. student in computer science in the Formal Methods division at Deparment of Computer Science and Engineering at Chalmers University of Technology.

Research interest

My research is focused on enforcing privacy properties in big data systems, in particular social networks, by using formal methods. Currently, I am looking into the possibility of using knowledge-based logic for modelling deontic and epistemic properties of the system. This logic enables the possibility of definning more expressive privacy settings and also provides developers with tools to formally verify that the private information of the users is protected. I am under supervision of Gerardo Schneider and David Sands.


Licentiate Thesis

The licentiate thesis is part of the licentiate degree, which is a half way Ph.D. title which can be acquired in Sweden.

The licentate degree also requires to pass a licentiate seminar. It consists of a presentation of the results included the thesis and a discussion with an influencial researcher in the topic, who in my case was Deepak Garg from Max Planck Institute for Software Systems, Germany.

  • Presentation

  • Discussion with Deepak Garg

  • Teaching

    Master thesis supervision

    Current students

    • Mushfiqur Rahman. A Petri Nets Semantics for Privacy-Aware Data Flow Diagrams.

    Past students


    Since 2013 I am involved in the following courses as Teaching Assistant (TA):

    Formal Methods for Software Development

    Principles of Concurrent Programming