Chiara Del Corno
Email
chiara.delcorno@sns.it
She is a PhD student in Logic at the Scuola Normale Superiore.
Her research interests concern modal logics, interactive theorem provers, proof theory, computability theory, model theory, and the philosophy of mathematics.