|
- MSc in CS, Udine University, Italy (2002)
- PhD in CS, Udine University, Italy (2006)
- Postdoc, Udine University, Italy (2006-2008)
- Postdoc, Oxford University, UK (2009-2012)
- Junior Research Fellowship, Linacre College Oxford, UK (2010-2012)
- CNRS researcher at LaBRI, France (2012-now)
- With C. Riveros and S. Staworko: Bounded Reparability for Regular Tree Languages (Conference paper - to appear).
In Proceedings of the 15th International Conference on Database Theory (ICDT). Pdf Bibtex Slides
- With T. Colcombet and C. Ley: On the Use of Guards for Logics with Data (Conference paper).
In Proceedings of the 36th International Symposium on Mathematical Foundations of Computer Science (MFCS). LNCS, volume 6907, pages 243-255, Springer. Pdf Bibtex Slides - With M. Benedikt and C. Riveros: The Cost of Traveling between Languages (Conference paper).
In Proceedings of the 38th International Colloquium on Automata, Languages and Programming (ICALP). LNCS, volume 6756, pages 234-245, Springer. Pdf Bibtex - With O. Carton and T. Colcombet: Regular Languages of Words over Countable Linear Orderings (Conference paper).
In Proceedings of the 38th International Colloquium on Automata, Languages and Programming (ICALP). LNCS, volume 6756, pages 125-136, Springer. Pdf Bibtex
|