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)
  • 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
  • Conference paper with F. Baschenis, O. Gauwin and A. Muscholl
    Untwisting two-way transducers in elementary time
    In Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
    pages 1-12, IEEE Computer Society
    PdfBibtexSlidesAbstract
  • Conference paper with P. Gallot, A. Muscholl and S. Salvati
    On the decomposition of finite-valued streaming string transducers
    In Proceedings of the 34th International Symposium on Theoretical Aspects of Computer Science (STACS)
    Leibniz International Proceedings in Informatics (LIPIcs), volume 66(34), pages 1-14, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    PdfBibtexSlidesAbstract
  • Conference paper with M. Benedikt, P. Bourhis and B. ten Cate
    Querying Visible and Invisible Information
    In Proceedings of the 31st Annual IEEE Symposium on Logic in Computer Science (LICS)
    pages 297-306, ACM
    PdfBibtexAbstract
  • Journal paper with T. Colcombet and C. Ley
    Logics with Rigidly Guarded Data Tests
    In Logical Methods in Computer Science
    volume CoRR abs/1410.2022
    PdfBibtexAbstract

Short bio
  • 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)

Professional activities
  • PC member ICDT 2017 (20th International Conference on Database Theory)
  • 2016-2020 Member of research project DeLTA
  • 2016 Course for PhD students at ESSLLI School on Logical Foundations of Databases (Abstract Slides part 1 part 2 part 3 part 4 part 5)
  • 2015 Course for PhD students at ECI School on Logical Foundations of Databases (Abstract Slides part 1 part 2 part 3 part 4 part 5)
  • 2014 Course for PhD students at Udine University on Verification of Infinite State Systems (Slides part 1 part 2 part 3 part 4 part 5 part 6)
  • 2014-2018 Member of research project ExStream
  • PC member TIME 2014 (21st International Symposium on Temporal Representation and Reasoning)
  • PC member PODS 2014 (33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems)
  • PC co-chair GandALF 2013 (4th International Symposium on Games, Automata, Logics and Formal Verification)
  • PC member WoLLIC 2013 (20th Workshop on Logic, Language, Information and Computation)
  • PC member GandALF 2012 (3rd International Symposium on Games, Automata, Logics and Formal Verification)
  • PC member GandALF 2011 (2nd International Symposium on Games, Automata, Logics and Formal Verification)
  • PC member GandALF 2010 (1st International Symposium on Games, Automata, Logics and Formal Verification)