Pronouns: he/him/his
Type systems, pure functional programming, and quantum computing. In a past life, I got a PhD in programming languages with Stephanie Weirich at UPenn.
