Research Interests

  • Categorical models of formal languages
  • Algebraic and coalgebraic specification
  • Process calculi and Petri nets
  • Causal semantics
  • Nominal automata and symbolic representations
  • Automata learning
Advertisements
%d bloggers like this: