351 cours de la Liberation

F-33405 Talence cedex

felix.baschenis@labri.fr

- Automata and transducers theory
- Logic
- Database theory
- Algebra

- 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

Pdf Abstract

- 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

Pdf Bibtex Slides Abstract

- 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

Pdf Bibtex Slides Abstract

- 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)