Where's my photo?
Félix Baschenis
PhD student at LaBRI
351 cours de la Liberation
F-33405 Talence cedex

felix.baschenis@labri.fr

Interests
  • Automata and transducers theory
  • Logic
  • Database theory
  • Algebra


All publications (less)
  • Conference paper with F. Baschenis,O. Gauwin, A. Muscholl, and G. Puppis (To appear)
    Untwisting two-way transducers in elementary time
    In Proceedings of the 32nd Annual IEEE Symposium on Logic in Computer Science (LICS)
    ACM
    PdfAbstract
  • 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 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
    PdfBibtexSlidesAbstract
Short bio
  • Mathematics and computer science student at ENS Cachan (2009-2014)
  • Agregation of Mathematics (2013)
  • LMFI Master thesis at LIAFA, France under the supervision of Amélie Gheerbrant (2014)
  • PhD student at LaBRI, France under the supervision of Anca Muscholl, Olivier Gauwin and Gabriele Puppis (2014-2017)

Teaching
  • 2014-2016: Exercise and practical sessions of Database Theory, L3
  • 2015-2017: Lecture and Exercise session of Initiation to computer science, L1 (InitInfo)
  • 2016-2017: Exercise and practical sessions of Algorithmic and programation, L1 (Algotab)

Professional activities
  • 2016-2020 Member of research project DeLTA
  • 2014-2018 Member of research project ExStream