Gabriel H. Nunes
@[email protected]Physicist and Computer Scientist
Físico e Cientista da Computação
Toots in English and Portuguese
Toots em Português e Inglês
#FormalMethods | #QuantitativeInformationFlow (#QIF)
#ResponsibleComputing (#Privacy | #Fairness)
🇧🇷 | 🇦🇺 | 🇺🇳 | 🏳️🌈
#AntiFa | #BLM | #NoToWar
#MakeFascistsAfraidAgain
#fedi22
🏙️ Header: Belo Horizonte, Brazil
ℹ️ Most toots automatically deleted in one week
⚠️ Blocking: threads.net and bsky.brid.gy
openpgp4fpr:5B83BB14A5A9313005E027A37B72A4A3C50B88EE