@juli@mathstodon.xyz
Joined: 10/29/2024
trans femme mathematician | Second Year CS PhD Student at Carnegie Mellon University | Current interests include Type Theory, Category Theory, and Proof Assistants | struggling with my #Narcolepsy and #ADHD | she/they | the world's really scary rn
juli has no public lists
juli has no activity yet