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 T. Colcombet and C. Ley
    Logics with Rigidly Guarded Data Tests
    In Logical Methods in Computer Science
    volume CoRR abs/1410.2022
    PdfBibtexAbstract
  • Journal paper with A. Manuel and A. Muscholl
    Walking on Data Words
    In Theory of Computing Systems
    pages 64-75, Springer
    PdfBibtexAbstract
  • Journal paper with M. Benedikt and C. Riveros
    The Per-character Cost of Repairing Word Languages
    In Theoretical Computer Science
    volume 539, pages 38-67, Elsevier Science Publishers Ltd.
    PdfBibtexAbstract
  • Conference paper with O. Carton and T. Colcombet
    Regular Languages of Words over Countable Linear Orderings
    In Proceedings of the 38th International Colloquium on Automata, Languages and Programming (ICALP)
    LNCS, volume 6756, pages 125-136, Springer
    PdfBibtexSlidesAbstract

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
  • Member of research project ExStream
  • 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