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
  • 2020: PC member of MFCS (45th International Symposium on Mathematical Foundations of Computer Science)
  • 2020: PC member of Highlights of Logic, Games, and Automata
  • 2019: Invited speaker at Trends 2019 - Trends in Transformations (Slides)
  • 2019: co-organizer of GandALF (10th International Symposium on Games, Automata, Logics, and Formal Verification 2019)
  • 2019: PC member of ICLA (8th Indian Conference on Logic and its Applications 2019)
  • 2017: PC member of ICDT (20th International Conference on Database Theory)
  • 2014: PC member of TIME (21st International Symposium on Temporal Representation and Reasoning)
  • 2014: PC member of PODS (33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems)
  • 2013: PC co-chair of GandALF (4th International Symposium on Games, Automata, Logics and Formal Verification)
  • 2013: PC member of WoLLIC (20th Workshop on Logic, Language, Information and Computation)
  • 2012: PC member of GandALF (3rd International Symposium on Games, Automata, Logics and Formal Verification)
  • 2011: PC member of GandALF (2nd International Symposium on Games, Automata, Logics and Formal Verification)
  • 2010: PC member of GandALF (1st International Symposium on Games, Automata, Logics and Formal Verification)