Emily First

Assistant Professor in Computer Science working on AI for theorem proving