Gabriel H. Nunes

Gabriel H. Nunes

PhD candidate in Computer Science

Federal University of Minas Gerais, Brazil

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

For academic publications, access: Publications.

Interests
  • Formal Methods
  • Quantitative Information Flow
  • Privacy
  • Fairness
  • Artificial Intelligence
  • Neuroscience
Education
  • 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

Education

 
 
 
 
 
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, from the INSCRYPT Laboratory.

Main subjects: Quantitative Information Flow, Formal Methods.

 
 
 
 
 
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 the INSCRYPT Laboratory, 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

 
 
 
 
 
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 Department 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

GitHub

nunesgh

GitLab

nunesgh

goodreads

nunesgh

Instagram

nunesgh

LinkedIn

nunesgh

Mastodon

nunesgh

brands/matrix-blue
Matrix

nunesgh

Pocket

nunesgh

reddit

nunesgh

Spotify

nunesgh

Stack Exchange

Gabriel H. Nunes

Steam

nunesgh

Telegram

nunesgh

Twitter

ghnunes

Zotero

nunesgh

Contact

Preferably via Matrix

  • Belo Horizonte, MG
  • Weekdays 09:00 to 17:00 BRT