Tea-totaler, librarian, and scientist of both information (MA) and computers (BS + MS). Currently pursuing PhD in Computer Science, working with solver technologies for string constraints with the goal of finding injection vulnerabilities and possibly the meaning of life. Sometimes in the Polonius working group of the Rust compiler team.
I wish I spoke lojban so that at least my internal monologues would be syntactically unambiguous.
You may have previously have known me under a different name.