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
(a.k.a. #QIF)
#ResponsibleComputing
(e.g. #Privacy and #Fairness)

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

Header picture: Belo Horizonte, Brazil

Boosts and (most) toots (auto) deleted in one week

openpgp4fpr:5B83BB14A5A9313005E027A37B72A4A3C50B88EE