About Juli
trans femme mathematician | Second Year CS PhD Student at Carnegie Mellon University | Current interests include Type Theory, Univalent Mathematics, and Proof Assistant Interoperability | fighting back against my #Narcolepsy and #ADHD | she/they | finally chose a name!!! you can now find me @juli
Lists
seano has no public lists
Timeline
seano has no activity yet