Home Page

About me

I have defended my PhD in computer science on the 24th of October 2025 at the ENS de Lyon. My supervisors were Amina Doumane and Damien Pous.

Since the 1st of January 2026 I am a postdoctoral researcher at Aix-Marseille Université in the CANA team of the LIS. My advisor is Kévin Perrot.

My main research topics are algebraic applications of Graph Theory and Category Theory applied to Semantics and Logic for transition systems (Coalgebra Theory, bisimulations, etc).

Contacts

My CV can be found at [fr en].

You can email me at samuel dot humeau at lis-lab dot fr.