Scholar
Niccolò Veltri
Google Scholar ID: fvCxkLkAAAAJ
Assistant Professor, Department of Software Science, Tallinn University of Technology
Citations & Impact
Citations
355
H-index
11
i10-index
16
Publications
20
Co-authors
8
list available
Contact
Publications
Resume (English only)
Academic Achievements
- An Agda formalization of nonassociative Lambek calculus and its metatheory, TABLEAUX'25
- Monoid structures on indexed containers, LSFA'25
- Data types with symmetries via action containers, TYPES 2024
- Directed first-order logic, Preprint, 2025
- Craig interpolation for a semi-substructural logic, Studia Logica, to appear, 2025
- Directed equality with dinaturality, Preprint, 2024
- Terminal coalgebras and non-wellfounded sets in Homotopy Type Theory, Preprint, 2024
- Semi-substructural logics with additives, LSFA 2023 and HCVS 2023
- Maximally multi-focused proofs for skew non-commutative MILL, WoLLIC 2023
- Constructive final semantics of finite bags, ITP 2023
- Coherence via focusing for symmetric skew monoidal and symmetric skew closed categories, J. Log. Comput., 2025
- Formalizing CCS and π-calculus in Guarded Cubical Agda, J. Log. and Algebraic Methods in Comput., 2023
- Streams of approximations, equivalence of recursive effectful programs, MPC 2022
Research Experience
- Supervised several PhD students: Michel Smykalla (co-supervised with Tarmo Uustalu), Ioannis Andreou, Andrea Laretto (co-supervised with Fosco Loregian), Michele De Pascalis (co-supervised with Tarmo Uustalu), Philipp Joram, Cheng-Syuan Wan (co-supervised with Tarmo Uustalu, graduated June 2025).
Background
- Assistant Professor at the Department of Software Science of Tallinn University of Technology, member of the Logic and Semantics research group. Research interests include type theory, programming language semantics, formalization of mathematics, and categorical proof theory.
Miscellany
- Contact: niccolo at cs ioc ee; Address: Akadeemia tee 15a, 12618 Tallinn, Estonia
