Emily First

Incoming Assistant Professor in Computer Science working on AI for theorem proving