Andrea Laretto

Researches

  1. High-assurance software laboratory

Publications

Counterpart-based quantified temporal logics
Journal / Periodical: Journal of Logical and Algebraic Methods in Programming
Authors: Gadducci, Fabio; Laretto, Andrea; Trotta, Davide
Year: 2026
Di- is for directed: first-order directed type theory via dinaturality
Journal / Periodical: Proceedings of the ACM on Programming Languages
Authors: Laretto, Andrea; Loregian, Fosco; Veltri, Niccolò
Year: 2026
Completeness for categories of generalized automata
Journal / Periodical: 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)
Authors: Boccali, Guido; Laretto, Andrea; Loregian, Fosco; Luneia, Stefano
Year: 2023

Projects

Research measure of IT Academy programme for 2018-2022: Software trustworthiness
Year: 2018 - 2023
The central research focus of the technology and economics of trust in software theme will be certified software. Topics of research include: • methods and tools for certification of software; program analysis, transformation, generation; in particular for big data, cloud and IoT; • static analysis (model checkers, theorem provers), verification, systematic testing; • contract languages, languages with powerful type systems (refinement types, dependent types); domain-specific languages; • program synthesis and program learning, program understanding; • repositories of certified software, evolution of certified software; • trust in closed-source software, gradual trust-building; • trading trust, pricing of trust, game theory of trust.