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 F. Baschenis, O. Gauwin and A. Muscholl (To appear)
    Untwisting two-way transducers in elementary time
    In Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
    ACM
    PdfBibtexSlidesAbstract
  • Conference paper with P. Gallot, A. Muscholl, G. Puppis 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 F. Baschenis, O. Gauwin and A. Muscholl
    Minimizing resources of sweeping and streaming string transducers
    In Proceedings of the 43rd International Colloquium on Automata, Languages and Programming (ICALP)
    Leibniz International Proceedings in Informatics (LIPIcs), volume 55, 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
  • ICDT 2017 (20th International Conference on Database Theory), PC member
  • 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)
  • 2015 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
  • 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 member
  • GandALF 2013 (4th International Symposium on Games, Automata, Logics and Formal Verification), co-chair
  • 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), PC member