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
This profile is from a federated server and may be incomplete. Browse more on the original instance.