About me
I am a 3rd year PhD student at IRIF (Université Paris Cité, CNRS, IRIF, F-75013, Paris, France) under the supervision of Thomas Colcombet in the Automata and applications team.
My main scientific interests are related to logic, automata theory, algebra and their interactions. They notably include extensions of the notion of regular languages to other structures, learning, verification...
Before that, I studied mathematics and computer science at the Université de Bordeaux, where I obtained my master's degree.
I am one of the organizers of the automata seminar at IRIF, so you may contact me if you're interested in giving a talk at our seminar.
Contact: arthur [DOT] jaquard [AT] irif [DOT] fr
Publications
See my dblp page.Previous talks
Some past events (some of them with slides):- (August 2022) Talk at MFCS 2022
A Complexity Approach to Tree Algebras: the Polynomial Case slides - (July 2022) Talk at Highlights 2022
A Complexity Approach to Tree Algebras: the Polynomial Case slides - (June 2022) Talk for the ANR Delta Meeting at CIRM
A Complexity Approach to Tree Algebras: the Polynomial Case slides - (March 2022) Talk at the seminar of the automata group, IRIF
A Complexity Approach to Tree Algebras: the Polynomial Case slides - recording (in french, to come) - (September 2021) Talk at Highlights 2021 (online)
A Complexity Approach to Tree Algebras: the Polynomial Case slides - (July 2021) Pre-recorded talk at ICALP 2021 (online)
A Complexity Approach to Tree Algebras: the Bounded Case slides - recording - (June 2021) Talk for the ANR Delta Meeting at IRIF
Algebra and tree languages slides - (June 2021) Talk at the GT ALGA Annual Meeting (online)
A Complexity Approach to Tree Algebras: the Bounded Case slides - (April 2021) Talk at the seminar of the automata group, IRIF
A Complexity Approach to Tree Algebras: the Bounded Case slides - (September 2020) Talk at Highlights 2020 (online)
A Complexity Approach to Tree Algebras: the Bounded Case
Other activities
- I am one of the organizers of the automata seminar at IRIF.
- (2020) I was part of the organising committee of Highlights 2020.
Teaching (in french)
-
Université Paris Cité, 2022-2023:
- Principes de Fonctionnement des Machines Binaires (TD + TP)
- Initiation aux Systèmes d'Exploitation (TP)
-
Université de Paris - Université Paris Cité, 2021-2022:
- Initiation à la Programmation Python (TP)
- Eléments d'algorithmique 2 (TD + TP)
-
Université de Paris, 2020-2021:
- Initiation à la Programmation Java (TP)
- Internet et Outils (TP)
Contact
Email: arthur [DOT] jaquard [AT] irif [DOT] fr
Office: 3044, Bâtiment Sophie Germain, 8 place Aurélie Nemours, 75013 Paris