25

Zuppiroli, Sara (2014) Probabilistic Recursion Theory and Implicit Computational Complexity, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 25 Ciclo. DOI 10.6092/unibo/amsdottorato/6723.

27

Rioli, Alessandro (2016) Coinductive Techniques on a Linear Quantum λ-Calculus, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 27 Ciclo. DOI 10.6092/unibo/amsdottorato/7341.

28

Cappai, Alberto (2016) On Equivalences, Metrics, and Computational Indistinguishability, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 28 Ciclo. DOI 10.6092/unibo/amsdottorato/7389.

31

Gavazzo, Francesco (2019) Coinductive Equivalences and Metrics for Higher-order Languages with Algebraic Effects, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 31 Ciclo. DOI 10.6092/unibo/amsdottorato/9075.

34

Vanoni, Gabriele (2022) On Reasonable Space and Time Cost Models for the λ-Calculus, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 34 Ciclo. DOI 10.48676/unibo/amsdottorato/10276.

35

Antonelli, Melissa (2023) Towards a logical foundation of randomized computation, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 35 Ciclo. DOI 10.48676/unibo/amsdottorato/11049.

37

Colledan, Andrea (2025) Resource verification of quantum circuit description languages, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 37 Ciclo. DOI 10.48676/unibo/amsdottorato/12082.

38

Arshad, Muhammad Waqas (2026) Geometric and kinematic modeling of double wishbone suspensions with advanced AI–quantum optimization techniques, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 38 Ciclo.

Orazi, Filippo (2026) Variational algorithms for quantum machine learning, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Computer science and engineering, 38 Ciclo. DOI 10.48676/unibo/amsdottorato/13067.