Gabriel Nunes
Postdoctoral Research Fellow at The University of Queensland
Sydney, New South Wales, Australia
Summary
👤
Senior🎓
Top SchoolGabriel Nunes is a computer scientist and physicist with nine years of experience translating academic research in privacy, formal methods, and information security into practical technical solutions for industry and academia. Currently a Postdoctoral Research Fellow at The University of Queensland, he has held research and teaching roles across UFMG and Macquarie University and delivered formal analyses of real-world privacy systems during a student research stint at Google. A recipient of multiple scholarships and co-author of papers in high-impact venues, Gabriel blends rigorous formal verification with applied security engineering and a strong interest in data privacy. He also brings hands-on IT administration experience from INSCRYPT/T-REX labs and a background in experimental physics and nanotechnology, which informs his interdisciplinary problem-solving approach. Now migrating from academia to industry, he seeks challenges that couple formal guarantees with deployable software.
9 years of coding experience
1 year of employment as a software developer
Bachelor of Medicine, Medicine, Bachelor of Medicine, Medicine at Faculty of Medical Sciences of Minas GeraisBachelor of Science, Nanotechnology, Bachelor of Science, Nanotechnology at Federal University of Rio de JaneiroDoctor of Philosophy, Computer Science, Doctor of Philosophy, Computer Science at Macquarie UniversityDoctor of Science, Computer Science, Doctor of Science, Computer Science at Universidade Federal de Minas Gerais
Portuguese, English
Stackoverflow
755reputation
102kreached
10answers
3questions
caching
top-5%
google-app-engine
top-5%
google-cloud-platform
top-5%
Github Skills (200)
hugo-theme10
lti10
messenger10
peer-to-peer10
windows10
to-do10
telegram10
chat10
carddav10
protonvpn10
onlyoffice10
edtech10
collaboration10
iconic10
p2p10
Programming languages (14)
Github contributions (5)
nunesgh/test-lists
May 2020 - Aug 2023
URL testing lists intended for discovering website censorship
Contributions:7 pushes in 3 years 3 months
proxydiscoveringcensorshiptestinglists
topete-research/awesome-qif
Mar 2022 - Mar 2022
Contributions:9 commits, 8 pushes, 1 branch in 2 days
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.