Katherine Wu (original) (raw)
Katherine Wu
I'm a PhD student in Computer Science at Cornell University. I am broadly interested in probabilistic inference and formal methods for AI safety. I am grateful to be supported by an NSF Graduate Research Fellowship.
Previously, I graduated from Stony Brook University with a BS in computer science (with honors) and a BS in mathematics. I am fortunate to have worked on several research projects while there: with Jeff Heinz on grammar induction, with Erez Zadok on formal semantics for serverless computing, and with Annie Liu on question answering with logic programming.