Home Page

About me

I have recently finished a PhD in computer science at the ENS de Lyon, in the PLUME team of the LIP (UMR 5668), under the supervision of Amina Doumane and Damien Pous.

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 ens-lyon dot fr.