Cotutelle Doctoral candidate in Computer Science at the Federal University of Minas Gerais (UFMG), Brazil, and at Macquarie University, Australia. Master in Computer Science and Bachelor in Physics from UFMG. Interested in Formal Methods, Quantitative Information Flow, Responsible Computing, Artificial Intelligence, and Neuroscience.

Member of Topete Research Group and INSCRYPT | T-Rex Laboratory.

Interests
  • Formal Methods
  • Quantitative Information Flow
  • Responsible Computing
  • Artificial Intelligence
  • Neuroscience
Education
  • PhD in Computer Science, 2025

    Macquarie University, Australia

  • PhD in Computer Science, 2025

    Federal University of Minas Gerais, Brazil

  • MSc in Computer Science, 2021

    Federal University of Minas Gerais, Brazil

  • BSc in Physics, 2018

    Federal University of Minas Gerais, Brazil

Awards

Excellence in Higher Degree Research (Student Award)
Outstanding Poster
Poster: Quantitative Information Flow for Privacy Analysis (Future Communications Research Centre Workshop).
Research Rising Star
Paper: A Novel Analysis of Utility in Privacy Pipelines, Using Kronecker Products and Quantitative Information Flow (CCS 2023).
2021 Google Latin America Research Awards (LARA)
Project: A robust and explainable framework based on QIF for assessing big data privacy risks.

Education

 
 
 
 
 
Doctoral Degree in Computer Science
Feb 2023 – Present Sydney, New South Wales, Australia

International Macquarie University Research Excellence (iMQRES) Scholarship at the School of Computing.

Supervised by Prof. Annabelle McIver.

 
 
 
 
 
Doctoral Degree in Computer Science
Jul 2021 – Present Belo Horizonte, Minas Gerais, Brazil

CAPES Scholarship at the Graduate Program in Computer Science.

Research area: Quantitative Information Flow theory and its application to precisely characterize how different methods of noise introduction affect the trade-off between privacy and utility in microdata and statistical data publications.

Supervised by Prof. Mário Alvim.

Main subjects: Quantitative Information Flow, Formal Methods, Computing Theory Fundamentals, Exact Exponential Algorithms and Parameterized Complexity.

 
 
 
 
 
Master Degree in Computer Science
Mar 2019 – Apr 2021 Belo Horizonte, Minas Gerais, Brazil

CNPq Scholarship at the Graduate Program in Computer Science.

Dissertation defended and approved in April 28, 2021, titled A formal quantitative study of privacy in the publication of official educational censuses in Brazil.

Supervised by Prof. Mário Alvim, from UFMG, and by Prof. Annabelle McIver, from Macquarie University.

Main subjects: Algorithm Design and Analysis, Information Theory, Linear Optimization, Statistics for Data Science, Quantitative Experimental Methods.

Activities:

 
 
 
 
 
Bachelor degree in Physics
Mar 2014 – Jul 2018 Belo Horizonte, Minas Gerais, Brazil

Main subjects: Calculus and Vectorial Calculus, Differential Equations, Linear Algebra, Mechanics, Hydrodynamics, Electrodynamics, Optics, General Relativity, Quantum Mechanics, Thermodynamics, Statistical Physics, Neuroscience.

Activities:

 
 
 
 
 
Bachelor degree in Nanotechnology
Mar 2012 – Dec 2013 Rio de Janeiro, Rio de Janeiro, Brazil

Unfinished.

Main subjects: Calculus and Vectorial Calculus, General Physics, Inorganic Chemistry, Organic Chemistry, Cell Biology, Biochemistry, Startups and Innovation Management.

 
 
 
 
 
Bachelor degree in Medicine
Feb 2011 – Jun 2011 Belo Horizonte, Minas Gerais, Brazil

Unfinished.

Main subjects: Human Anatomy and Neuroanatomy, Human Histology, Human Embriology, Biochemistry.

Experience

 
 
 
 
 
Sessional Teaching Academic
Jul 2023 – Present Sydney, New South Wales, Australia
Data Privacy and Information Security (COMP3300).
 
 
 
 
 
Student Researcher
Jul 2022 – Nov 2022 New York, New York, United States of America
Internship supervised by Andrés Muñoz Medina.
 
 
 
 
 
Information Security Analyst
Mar 2021 – Dec 2020 Belo Horizonte, Minas Gerais, Brazil
Information Security Analyst in the project PRICE - Privacy in Educational Censuses.
 
 
 
 
 
Visiting Scholar
Sep 2019 – Nov 2019 Sydney, New South Wales, Australia
Academic internship at the School of Computing. Supervised by Prof. Annabelle McIver.
 
 
 
 
 
Reporter
Jan 2017 – May 2018 Remote
Coverage of the latest science and technology news. Portfolio: published articles.
 
 
 
 
 
Scientific Initiation
Mar 2016 – Jun 2016 Belo Horizonte, Minas Gerais, Brazil

Research on electronic structures and electrical properties of surfaces using scanning tunneling microscopy (STM) and photoluminescence spectroscopy.

FAPEMIG Scholarship - Supervised by Prof. Gustavo Sáfar.

 
 
 
 
 
Undergraduate Tutoring & Technological and Industrial Initiation
Oct 2014 – Jan 2016 Belo Horizonte, Minas Gerais, Brazil

Development of a high-resolution and low-cost optical spectrometer (Lumus Max). Some parts of the hardware were designed using Dassault Systèmes’ SolidWorks and the software was implemented using National Instruments’ LabVIEW visual programming language.

Development of an electrical Paul’s Trap (quadrupole ion trap).

PROGRAD & CNPq Scholarships at the Room of Physics Demonstrations - Supervised by Prof. Elmo Salomão.

 
 
 
 
 
Scientific Initiation
Aug 2013 – Jan 2014 Rio de Janeiro, Rio de Janeiro, Brazil

Application of vibrational spectroscopy and theoretical calculations to bioinorganic metal-amino acid complexes.

CNPq Scholarship - Supervised by Prof. Joanna Ramos.

Networks

brands/codeberg-blue-2
Codeberg

nunesgh

GitHub

nunesgh

GitLab

nunesgh

LinkedIn

nunesgh

Mastodon

nunesgh

ResearchGate

Gabriel Henrique Nunes

Stack Exchange

Gabriel H. Nunes

Steam

nunesgh

Zotero

nunesgh

Contact

Preferably via Matrix.

If necessary, see hint.