Computer Science · Physical Sciences
13h-index543citations67works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(57), Logic, Reasoning, and Knowledge(53), Formal Methods in Verification(20), Advanced Algebra and Logic(17), Semantic Web and Ontologies(7)
Publications67 total
arXiv (Cornell University)·2026Open Access
arXiv (Cornell University)·2026Open Access
arXiv (Cornell University)·2026Open Access
ArXiv.org·2026Open Access
Logical Methods in Computer Science·2025Open Access
Proceedings of the ACM on Programming Languages·2025Open Access
arXiv (Cornell University)·2025Open Access
arXiv (Cornell University)·2023Open Access
Electronic Notes in Theoretical Informatics and Computer Science·2023Open Access
Proceedings of the ACM on Programming Languages·2023· 6 citedOpen Access
arXiv (Cornell University)·2022· 1 citedOpen Access
Logical Methods in Computer Science·2022Open Access
arXiv (Cornell University)·2021· 1 citedOpen Access
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2021· 5 citedOpen Access
Logical Methods in Computer Science·2020Open Access
HAL (Le Centre pour la Communication Scientifique Directe)·2020· 7 citedOpen Access
Proceedings of the ACM on Programming Languages·2019· 14 citedOpen Access
Fundamenta Informaticae·2019· 10 cited
Journal of Logic and Computation·2019· 3 citedOpen Access
arXiv (Cornell University)·2019· 7 citedOpen Access
page 1 of 4Next →
Frequent Co-authors
Antonino Salibra(10), Antonio Bucciarelli(6), Andrew Polonsky(6), Benedetto Intrigila(6), Thomas Ehrhard(5), Domenico Ruoppolo(5), Michele Pagani(4), Chantal Berline(4), Flavien Breuvart(4), James D. Laird(3), Guy McCusker(3), Henk Barendregt(3), Thomas Ehrhard(2), Alberto Carraro(2), Simona Ronchi Della Rocca(2), Axel Kerinec(2), Paolo Tranquilli(2), Nicolas Munnich(2), Alejandro Díaz-Caro(1), Davide Barbarossa(1)