Roberto Giacobazzi

About

Roberto Giacobazzi is a professor in the Department of Computer Science at the University of Arizona. He holds a Ph.D. from the University of Pisa in Italy, obtained in 1993. His research interests include the theory of computation, programming languages, abstract interpretation, program analysis and verification, logic in computer science, and the history of computing. He is involved in various aspects of computer science education and research, contributing to the understanding and development of programming languages, security systems, and computational theory.

Research topics

• Computer Science
• Artificial Intelligence
• Machine Learning
• Programming language
• Philosophy
• Linguistics
• Discrete mathematics
• Software engineering
• Mathematics
• Algorithm

Selected publications

• A Formal Framework to Measure the Incompleteness of Abstract Interpretations

  Lecture notes in computer science · 2023-01-01 · 6 citations

  book-chapterOpen accessSenior author
  PublisherOA PDFDOI

• Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation

  ACM Transactions on Programming Languages and Systems · 2024-02-24 · 4 citations

  articleOpen access1st authorCorresponding

  Robustness is a key and desirable property of any classifying system, in particular, to avoid the ever-rising threat of adversarial attacks. Informally, a classification system is robust when the result is not affected by the perturbation of the input. This notion has been extensively studied, but little attention has been dedicated to how the perturbation affects the classification. The interference between perturbation and classification can manifest in many different ways, and its understandi…

  PublisherOA PDFDOI

• How Fitting is Your Abstract Domain?

  Lecture notes in computer science · 2023-01-01 · 2 citations

  book-chapterOpen access1st author
  PublisherOA PDFDOI

• A Logic for the Imprecision of Abstract Interpretations

  Proceedings of the ACM on Programming Languages · 2026-01-08 · 1 citations

  articleOpen access

  In numerical analysis, error propagation refers to how small inaccuracies in input data or intermediate computations accumulate and affect the final result, typically governed by the stability and sensitivity of the algorithm with respect to some perturbations. The definition of a similar concept in approximated program analysis is still a challenge. In abstract interpretation, inaccuracy arises from the abstraction itself, and the propagation of this error is dictated by the abstract interprete…

  PublisherDOI

• Fairness of AI Systems in the Legal Context

  Lecture notes in computer science · 2025-01-01 · 1 citations

  book-chapterSenior author
  PublisherDOI

Frequent coauthors

• Isabella Mastroeni

  University of Verona

  44 shared

• Francesco Ranzato

  44 shared

• Mila Dalla Preda

  University of Verona

  27 shared

• Giorgio Levi

  20 shared

• Catuscia Palamidessi

  Laboratoire d'Informatique de l'École Polytechnique

  12 shared

• Michael J. Maher

  11 shared

• Duško Pavlović

  University of Hawaii System

  11 shared

• Maurizio Gabbrielli

  University of Bologna

  11 shared

Education

• PhD, Informatica

  Università di Pisa

  1992

Similar researchers at University of Arizona

• Alon Efrath-37
• Saumya Debrayh-35
• Christian Collbergh-32