Gabriel H. Nunes
Computer Scientist and Physicist
Macquarie University, Australia
Federal University of Minas Gerais, Brazil
Computer scientist and physicist working on responsible technology: formal and quantitative methods for establishing what data systems and algorithms reveal about the people they describe. Collaborated on both private and public sectors projects to develop, implement, and deliver scientific and technical solutions. Recipient of multiple awards and scholarships, and co-author of scientific papers published on high-impact venues. Passionate about data privacy, formal methods for algorithm verification, and information security.
Doctor of Philosophy in Computer Science from Macquarie University, Australia. Master in Computer Science and Bachelor in Physics from the Federal University of Minas Gerais (UFMG), Brazil. Member of Topete Research Group and INSCRYPT | T-Rex Laboratory.
- Formal Methods
- Quantitative Information Flow
- Responsible Computing
- Data Privacy
- Information Security
- Artificial Intelligence
- Neuroscience
-
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