#Queer #programmer #mom (she/her), #leftist, #polyam, #trans Hobbies: board games, video games, recreational #mathematics, reading about science history Past life: got a PhD in #ProgrammingLanguages #StaticAnalysis. I preferred my earlier work with computer aided #TheoremProving. Professional association: Google Cloud Security Professional contributions: #ConfidentialComputing #OpenSource changes to #Linux, OVMF (virtual firmware), and various github.com/google repositories. #AntiBlockchain
Reputation
0
Profile views
1
Joined
Last Online