Where's my photo?
Gabriele Puppis
CNRS researcher at LaBRI
351 cours de la Liberation
F-33405 Talence cedex

gabriele.puppis@gmail.com
gabriele.puppis@labri.fr

Interests
  • Automata theory
  • Logics
  • Databases
  • Algebra


All publications (less)
  • 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), pages 22:1-22:17, 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
    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), 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
  • 2012-now: 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
  • 2016-2020: Member of research project DeLTA
  • 2014-2018: Member of research project ExStream
  • 2012-2014: Member of research project FRec

Other activities
  • 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)