Faculty of letters and philosophy

Antonella Bilotta

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.