hi! i'm jamie, current cs phd student interested in languages and proving things!

my pronouns are:

• she/her
• it/its

interests:

• computers
• mathematics
• star trek
• playing drums
• edm

find me online:

• github
• discord