From July 1 to August 29, 2025, Oscar Peyron is joining the team for a research internship.

The objective of this internship is to develop efficient learning algorithms for concurrent systems and/or to implement existing ones in C++. As pomset recognizers form a special case of tree automata, and since tree automata are known to be learnable, the project also seeks to build a more general framework for learning tree automata while extending the techniques introduced in recent studies.