Computer Scientist and Physicist
Cientista da Computação e Físico

Toots in English and Portuguese
Toots em Inglês e Português

#FormalMethods | #QuantitativeInformationFlow (#QIF)
#ResponsibleComputing (#Privacy | #Fairness)

🇧🇷 | 🇦🇺 | 🇺🇳 | 🏳️‍🌈
#AntiFascist | #BLM | #NoToWar
#MakeFascistsAfraidAgain
#fedi22

🏙️ Header: Belo Horizonte, Brazil

ℹ️ Most toots automatically deleted in one week

⚠️ Blocking: threads.net and bsky.brid.gy

openpgp4fpr:5B83BB14A5A9313005E027A37B72A4A3C50B88EE