## 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

- 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. - Giovanni Pighizzini and Luca Prigioniero:

**Pushdown automata and constant height: decidability and bounds**

*Acta Informatica*, 2022. - 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. - 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. - Bruno Guillon, Martin Kutrib, Andreas Malcher, and Luca Prigioniero:

**Reversible pushdown transducers**

*Information and Computation*, 281 p. 104813, 2021. - 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. - Giovanni Pighizzini and Luca Prigioniero:

**Non-Self-Embedding Grammars and Descriptional Complexity**

*Fundamenta Informaticae*, 180(1-2), pp. 103–122, 2021. - 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. - 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. - Bruno Guillon and Luca Prigioniero:

**Linear-time limited automata**

*Theoretical Computer Science*, 798 pp. 95–108, 2019. - Giovanni Pighizzini and Luca Prigioniero:

**Limited automata and unary languages**

*Information and Computation*, 266 pp. 60–74, 2019. - 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

- 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. - Luca Prigioniero:

**Regular Languages: To Finite Automata and Beyond (Invited Talk)**

In*Proceedings of AUTOMATA 2021*

OASIcs 90, pp. 2:1–2:16, 2021. - 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. - 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. - 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. - 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. - Bruno Guillon and Luca Prigioniero:

**Linear-Time Limited Automata**

In*Proceedings of DCFS 2018*

Lecture Notes in Computer Science 10952, pp. 126–138, 2018. - 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. - 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. - Bruno Guillon and Luca Prigioniero:

**Linear-Time Limited Automata - Extended Abstract**

In*Proceedings of ICTCS 2018*

CEUR Workshop Proceedings 2243, pp. 208–212, 2018. - 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. - 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. - 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. - 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. - 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. - Giovanni Pighizzini and Luca Prigioniero:

**Non-self-embedding grammars and descriptional complexity**

In*Proceedings of NCMA 2017*, pp. 197–209, 2017. - 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. - 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

- 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.