About

I am a postdoctoral researcher at the Department of Computer Science of University of Milan.
I received my Ph.D. in 2020 from University of Milan — Department of Computer Science, where I was advised by Giovanni Pighizzini. From October 2019 to February 2020 I joined the research team at the Institut für Informatik of University of Gießen. There I’ve been working as a research fellow, supervised by Martin Kutrib and Markus Holzer.

Research Activity

My research interests include formal languages, automata theory and theoretical computer science.
In particular, I am investigating computational models characterizing the class of the regular languages and having succinct descriptions. On the other hand my research activity focuses on the study of reversible formal models (from the descriptional complexity point of view) and their computations.

Teaching Activity

In 2022-2023 I’ll be teaching the course Formal Language Theory, jointly with professor Giovanni Pighizzini, and I’ll be the teaching assistant of the course Computer Programming 2, taught by Massimo Santini.

Attended and Upcoming Events

Conferences and Workshops

• DLT 2022, May 9–13 2022, Tampa (FL) — USA
• DLT 2021, August 16-20 2021, Porto — Portugal
• CIAA 2021, July 19-21 2021, Bremen — Germany
• Automata 2021, July 12-14 2021, Marseille — France
• DLT 2020, May 11–13 2020, Tampa (FL) — USA
• RPLA 2019, October 9 2019, Porto — Portugal
• ICTCS 2019, September 9–11 2019, Como — Italy
• DCFS 2019, July 17–19 2019, Košice — Slovakia
• ICTCS 2018, September 18–20 2018, Urbino — Italy
• DLT 2018, September 10–14 2017, Tokyo — Japan
• CIAA 2018, July 29 – August 2 2018, Charlottetown (PEI) — Canada
• DCFS 2018, July 25–27 2018, Halifax (NS) — Canada
• AFL 2017, September 4–6 2017, Debrecen — Hungary
• NCMA 2017, August 17–18 2017, Prague — Czech Republic
• DLT 2017, August 7–11 2017, Liège — Belgium
• DCFS 2017, July 3–5 2017, Milan — Italy
• ICTCS 2016, September 7–9 2016, Lecce — Italy
• DCFS 2016, July 5–8 2016, Bucharest — Romania
• MFCS 2015, August 24–28 2015, Milan — Italy

Schools

• Lipa Summer School, June 25–28 2018, Warsaw — Poland
• International training school on reversible computation, August 28–31 2017, Toruń — Poland

Scientific Visits

• February–July 2019, Department of Computer Science – University of Saskatchewan — Canada
  supervised by Ian McQuillan
• Weakly irreversibility for program inversion
  October 2018, Datalogisk Institut – Københavns Universitet — Denmark
  supervised by Robert Glück
  granted by ICT COST Action IC1405
• Weakly-irreversible automata models
  December 2017, Institut für Informatik – Justus-Liebig Universität Giessen — Germany
  supervised by Martin Kutrib
  granted by ICT COST Action IC1405

Publications

Journal papers

1. Bruno Guillon, Giovanna J. Lavado, Giovanni Pighizzini, and Luca Prigioniero:
   Weakly and Strongly Irreversible Regular Languages
   International Journal of Foundations of Computer Science, 33(03n04), pp. 263–284, 2022.
2. Giovanni Pighizzini and Luca Prigioniero:
   Pushdown automata and constant height: decidability and bounds
   Acta Informatica, 2022.
3. Bruno Guillon, Giovanni Pighizzini, Luca Prigioniero, and Daniel Průša:
   Converting nondeterministic two-way automata into small deterministic linear-time machines
   Information and Computation, 289 p. 104938, 2022.
4. Giovanni Pighizzini, Luca Prigioniero, and Simon Sádovský:
   1-Limited Automata: Witness Languages and Techniques
   Journal of Automata, Languages and Combinatorics, 27(1-3), pp. 229–244, 2022.
5. Bruno Guillon, Martin Kutrib, Andreas Malcher, and Luca Prigioniero:
   Reversible pushdown transducers
   Information and Computation, 281 p. 104813, 2021.
6. Oscar H. Ibarra, Jozef Jirásek, Ian McQuillan, and Luca Prigioniero:
   Space Complexity of Stack Automata Models
   International Journal of Foundations of Computer Science, 32(6), pp. 801–823, 2021.
7. Giovanni Pighizzini and Luca Prigioniero:
   Non-Self-Embedding Grammars and Descriptional Complexity
   Fundamenta Informaticae, 180(1-2), pp. 103–122, 2021.
8. Bruno Guillon, Giovanni Pighizzini, and Luca Prigioniero:
   Non-Self-Embedding Grammars, Constant-Height Pushdown Automata, and Limited Automata
   International Journal of Foundations of Computer Science, 31(8), pp. 1133–1157, 2020.
9. Giovanna J. Lavado and Luca Prigioniero:
   Concise Representations of Reversible Automata
   International Journal of Foundations of Computer Science, 30(6-7), pp. 1157–1175, 2019.
10. Bruno Guillon and Luca Prigioniero:
    Linear-time limited automata
    Theoretical Computer Science, 798 pp. 95–108, 2019.
11. Giovanni Pighizzini and Luca Prigioniero:
    Limited automata and unary languages
    Information and Computation, 266 pp. 60–74, 2019.
12. Giovanna J. Lavado, Giovanni Pighizzini, and Luca Prigioniero:
    Minimal and Reduced Reversible Automata
    Journal of Automata, Languages and Combinatorics, 22(1-3), pp. 145–168, 2017.

Conference papers

1. Giovanni Pighizzini, Luca Prigioniero, and Simon Sádovský:
   Performing Regular Operations with 1-Limited Automata
   In Proceedings of DLT 2022
   Lecture Notes in Computer Science 13257, pp. 239–250, 2022.
2. Luca Prigioniero:
   Regular Languages: To Finite Automata and Beyond (Invited Talk)
   In Proceedings of AUTOMATA 2021
   OASIcs 90, pp. 2:1–2:16, 2021.
3. Martin Kutrib and Luca Prigioniero:
   Boolean Kernels of Context-Free Languages
   In Proceedings of CIAA 2021
   Lecture Notes in Computer Science 12803, pp. 152–164, 2021.
4. Oscar H. Ibarra, Jozef Jirásek Jr., Ian McQuillan, and Luca Prigioniero:
   Space Complexity of Stack Automata Models
   In Proceedings of DLT 2020
   Lecture Notes in Computer Science 12086, pp. 137–149, 2020.
5. Giovanni Pighizzini and Luca Prigioniero:
   Pushdown Automata Accepting in Constant Height: Decidability and Height Bounds - Extended Abstract
   In Proceedings of ICTCS 2019
   CEUR Workshop Proceedings 2504, pp. 72–77, 2019.
6. Giovanni Pighizzini and Luca Prigioniero:
   Pushdown Automata and Constant Height: Decidability and Bounds
   In Proceedings of DCFS 2019
   Lecture Notes in Computer Science 11612, pp. 260–271, 2019.
7. Bruno Guillon and Luca Prigioniero:
   Linear-Time Limited Automata
   In Proceedings of DCFS 2018
   Lecture Notes in Computer Science 10952, pp. 126–138, 2018.
8. Bruno Guillon, Martin Kutrib, Andreas Malcher, and Luca Prigioniero:
   Reversible Pushdown Transducers
   In Proceedings of DLT 2018
   Lecture Notes in Computer Science 11088, pp. 354–365, 2018.
9. Bruno Guillon, Giovanni Pighizzini, and Luca Prigioniero:
   On Some Succinct Representations of Regular Languages - Extended Abstract
   In Proceedings of ICTCS 2018
   CEUR Workshop Proceedings 2243, pp. 203–207, 2018.
10. Bruno Guillon and Luca Prigioniero:
    Linear-Time Limited Automata - Extended Abstract
    In Proceedings of ICTCS 2018
    CEUR Workshop Proceedings 2243, pp. 208–212, 2018.
11. Bruno Guillon, Giovanni Pighizzini, Luca Prigioniero, and Daniel Průša:
    Two-Way Automata and One-Tape Machines - Read Only Versus Linear Time
    In Proceedings of DLT 2018
    Lecture Notes in Computer Science 11088, pp. 366–378, 2018.
12. Bruno Guillon, Giovanni Pighizzini, and Luca Prigioniero:
    Non-self-embedding Grammars, Constant-Height Pushdown Automata, and Limited Automata
    In Proceedings of CIAA 2018
    Lecture Notes in Computer Science 10977, pp. 186–197, 2018.
13. Giovanna J. Lavado and Luca Prigioniero:
    Concise Representations of Reversible Automata
    In Proceedings of DCFS 2017
    Lecture Notes in Computer Science 10316, pp. 238–249, 2017.
14. Giovanni Pighizzini and Luca Prigioniero:
    Limited Automata and Unary Languages
    In Proceedings of DLT 2017
    Lecture Notes in Computer Science 10396, pp. 308–319, 2017.
15. Giovanna J. Lavado, Giovanni Pighizzini, and Luca Prigioniero:
    Weakly and Strongly Irreversible Regular Languages
    In Proceedings of AFL 2017
    EPTCS 252, pp. 143–156, 2017.
16. Giovanni Pighizzini and Luca Prigioniero:
    Non-self-embedding grammars and descriptional complexity
    In Proceedings of NCMA 2017, pp. 197–209, 2017.
17. Giovanna J. Lavado, Giovanni Pighizzini, and Luca Prigioniero:
    Minimal and Reduced Reversible Automata
    In Proceedings of DCFS 2016
    Lecture Notes in Computer Science 9777, pp. 168–179, 2016.
18. Giovanna J. Lavado, Giovanni Pighizzini, and Luca Prigioniero:
    Minimal and Reduced Reversible Automata
    In Proceedings of ICTCS 2016
    CEUR Workshop Proceedings 1720, pp. 234–239, 2016.

Parts in books or collections

1. Bogdan Aman, Gabriel Ciobanu, Robert Glück, Robin Kaarsgaard, Jarkko Kari, Martin Kutrib, Ivan Lanese, Claudio Antares Mezzina, Lukasz Mikulski, Rajagopal Nagarajan, Iain C. C. Phillips, G. Michele Pinna, Luca Prigioniero, Irek Ulidowski, and Germán Vidal:
   Foundations of Reversible Computation
   In Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405
   Lecture Notes in Computer Science 12070, pp. 1–40, 2020.