- Logics
- Databases
- Formal languages
- +۵ مورد دیگر
Gabriele Puppis is an Associate Professor at the Department of Mathematics, Computer Science, and Physics of Udine University since 2022. Previously, he held a tenure-track position at the same university (2019-2022) and was a tenured CNRS researcher at LaBRI, Bordeaux (2012-2019). He completed postdoctoral research at Oxford University (2009-2012) and Udine University (2006-2008). His academic journey began with a PhD in Computer Science at Udine University (2002-2006). Education: PhD in Computer Science, Udine University (2006) Research Interests: Logics and formal languages String transducers and automata theory XML schema validation and database repairability Interval temporal logic and spatial reasoning Higher-order query languages Academic Contributions: His work focuses on the decidability and complexity of problems in automata theory, particularly for finite-valued transducers and their equivalence. He has advanced understanding of bounded repairability for tree and word languages, dynamic data structures for timed automata, and resynchronizability in transducer models. His recent publications explore decomposition theorems for streaming string transducers and their equivalence to two-way models. Teaching and Leadership: He teaches courses in Distributed Systems, Algorithms and Data Structures, and Verification techniques in AI and Cybersecurity. He has organized events like the GandALF 2023 summer school and participated in workshops on unambiguity in automata theory and regular cost functions.







