News
| Sep 25, 2023 | My paper Zero-One Laws of Graph Neural Networks has been accepted for publication at the NeurIPS Conference. |
|---|---|
| Sep 18, 2023 | I’ve started a new job as a Research Associate in the Department of Computer Science at University of Oxford, advised by Michael Benedikt |
| Aug 1, 2023 | My collaborators and I have written a new paper, The Intermediate Logic of Convex Polyhedra. |
| Mar 16, 2023 | My joint paper Polyhedral completeness of intermediate logics: the Nerve Criterion has been published by the Journal of Symbolic Logic. |