Students

I am always keen to supervise motivated students in the area of formal methods for responsible computing, with a focus on security, privacy, fairness, and transparency.

Feel free to contact me about opportunities and to discuss topics of mutual interest.

Current Ph.D. Students

• Gabriel Henrique Lopes Gomes Alves Nunes, in co-tutelle with Macquarie University, under the co-supervision of Prof. Annabelle McIver
• Gleison Souza Diniz Mendonça
• Luigi Domenico Cecchini Soares, in co-tutelle with Macquarie University, under the co-supervision of Dr. Natasha Fernandes
• Ramon Gonçalves Gonze, in co-tutelle with École Polytechnique, under the co-supervision of Prof. Catuscia Palamidessi

Current M.Sc. Students

• Igor Wallace dos Santos Lemes

Former M.Sc. Students

• Bruno Demattos Nogueira, 2023: “On the relation of privacy and fairness through the lenses of quantitative information flow”
• Ramon Gonçalves Gonze, 2023: “A Quantitative lnformation Flow Model for Attribute-lnference Attacks and Utility in Data Releases by Sampling”
• Tiago Melo Tannus, 2022: “Towards the quantification of information leakage for dynamic secrets”
• Gabriel Henrique Lopes Gomes Alves Nunes, 2021: “A formal quantitative study of privacy in the publication of official educational censuses in Brazil”
• Thiago Vieira de Alcântara Silva, 2019: On the relationship of privacy and fairness in machine learning
• Arthur Américo Passos de Rezende, 2018: “An Algebraic Framework for Quantitative Information Flow”

Former Co-supervisions

• Rodrigo de Magalhães Silva, Ph.D., 2022: “Compression-Based Unsupervised sampling for Learning to Rank” . Main supervisor: Marcos André Gonçalves

• Danilo Fabrino Favato, M.Sc., 2021: “Confidential Data Leakage in Brazilian Official Foreign Trade Statistics” . Main supervisor: Gabriel de Morais Coutinho

• André Lopes Gonzaga, M.Sc., 2019: “A Probabilistic Algorithm To Predict Missing Facts From Knowledge Graphs” . Main supervisor: Mirella Moura Moro