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, A. Muscholl and O. Gauwin (To appear)
    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), Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    PdfBibtexAbstract
  • Conference paper with M. Benedikt, P. Bourhis and B. ten Cate (To appear)
    Querying Visible and Invisible Information
    In Proceedings of the 31st Annual IEEE Symposium on Logic in Computer Science (LICS)
    IEEE Computer Society
    PdfBibtexAbstract
  • Journal paper with P. Bourhis, C. Riveros and S. Staworko (To appear)
    Bounded Repairability for Regular Tree Languages
    In ACM Transactions on Database Systems
    ACM
    PdfBibtexAbstract
  • Conference paper with F. Baschenis, O. Gauwin and A. Muscholl
    One-way definability of sweeping transducers
    In Proceedings of the 35th IARCS Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS)
    Leibniz International Proceedings in Informatics (LIPIcs), volume 45, pages 178-191, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
    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
  • 2014-2018 Member of research project ExStream
  • Course for PhD students at ESSLLI School "Logical Foundations of Databases" (Abstract)
  • Course for PhD students at ECI School "Introduction to Logical Foundations of Database" (Abstract)
  • 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)
  • 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