Juli O'Connor

juli@mathstodon.xyz

<p>trans femme mathematician | Fourth Year CS PhD Student at Carnegie Mellon University | Current interests include Type Theory, Category Theory, and Proof Assistants | struggling with my <a href="https://mathstodon.xyz/tags/Narcolepsy" class="mention hashtag" rel="tag">#<span>Narcolepsy</span></a> and <a href="https://mathstodon.xyz/tags/ADHD" class="mention hashtag" rel="tag">#<span>ADHD</span></a> and a secret third thing | she/they | {∅}</p>