Emily First

Postdoc in Computer Science working on AI for theorem proving