trans femme mathematician | First Year CS PhD Student at Carnegie Mellon University | Current interests include Type Theory, Proof Assistants, and Univalent Mathematics | finally starting to deal with my #Narcolepsy and #ADHD | she/they
This profile is from a federated server and may be incomplete. Browse more on the original instance.