about me, real talk
• went to grad school thinking i only liked theory,
no applications
• assumed i probably wouldn’t finish
• couldn’t stop playing with logic-based encodings
of interactive fiction games, you know, for fun
• turned it into a thesis, graduated, got a tenure-
track job