About Juli O'Connor

trans femme mathematician | Third Year CS PhD Student at Carnegie Mellon University | Current interests include Type Theory, Category Theory, and Proof Assistants | struggling with my #Narcolepsy and #ADHD and a secret third thing | she/they | {∅}

Lists

Timeline

{username} has no activity yet