Where's my photo?
Interests
  • Formal languages
  • Logics
  • Databases
  • Algebra


All publications (less)
  • Conference paper with A. Muscholl
    Equivalence of finite-valued streaming string transducers is decidable
    In Proceedings of the 46th International Colloquium on Automata, Languages, and Programming (ICALP)
    Leibniz International Proceedings in Informatics (LIPIcs), volume 132, pages 121:1-121:14, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    PdfBibtexSlidesAbstract
  • Conference paper with A. Muscholl
    The many facets of string transducers (invited paper)
    In 36th International Symposium on Theoretical Aspects of Computer Science (STACS)
    Leibniz International Proceedings in Informatics (LIPIcs), volume 126, pages 2:1-2:22, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    PdfBibtexAbstract
  • Conference paper with S. Bose, A. Muscholl and V. Penelle
    Origin-equivalence of two-way word transducers is in PSPACE
    In Proceedings of the 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS)
    Leibniz International Proceedings in Informatics (LIPIcs), volume 122, pages 22:1-22:18, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    PdfBibtexAbstract
  • Journal paper with O. Carton and T. Colcombet
    An algebraic approach to MSO-definability on countable linear orderings
    In Journal of Symbolic Logic
    volume 83(3), pages 1147-1189, Association for Symbolic Logic
    PdfBibtexAbstract
  • Conference paper with M.E. Descotte and D. Figueira
    Resynchronizing Classes of Word Relations
    In Proceedings of the 45th International Colloquium on Automata, Languages, and Programming (ICALP)
    Leibniz International Proceedings in Informatics (LIPIcs), volume 107, pages 123:1-123:13, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    PdfBibtexAbstract
  • Journal paper with F. Baschenis, O. Gauwin and A. Muscholl
    One-way definability of two-way word transducers
    In Logical Methods in Computer Science
    volume CoRR abs/1706.01668
    PdfBibtexAbstract

Short bio
  • 2019-now: Assistant Professor, Tenure Track at Udine University, Italy
  • 2012-2019: CNRS researcher at LaBRI, France
  • 2010-2012: Junior Research Fellowship, Linacre College Oxford, UK
  • 2009-2012: Postdoc, Oxford University, UK
  • 2006-2008: Postdoc, Udine University, Italy
  • 2006: PhD in CS, Udine University, Italy

Courses

Projects
  • 2019-2023: Member of research project QUID
  • 2016-2020: Member of research project DeLTA
  • 2014-2018: Member of research project ExStream
  • 2012-2014: Member of research project FRec

Other activities
  • 2019: co-organizer of GandALF (10th International Symposium on Games, Automata, Logics, and Formal Verification 2019)
  • 2019: PC member for ICLA (8th Indian Conference on Logic and its Applications 2019)
  • 2017: PC member for ICDT (20th International Conference on Database Theory)
  • 2014: PC member for TIME (21st International Symposium on Temporal Representation and Reasoning)
  • 2014: PC member for PODS (33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems)
  • 2013: PC co-chair for GandALF (4th International Symposium on Games, Automata, Logics and Formal Verification)
  • 2013: PC member for WoLLIC (20th Workshop on Logic, Language, Information and Computation)
  • 2012: PC member for GandALF (3rd International Symposium on Games, Automata, Logics and Formal Verification)
  • 2011: PC member for GandALF (2nd International Symposium on Games, Automata, Logics and Formal Verification)
  • 2010: PC member for GandALF (1st International Symposium on Games, Automata, Logics and Formal Verification)