Research interests:

• Semantics of concurrency, with emphasis on the study of algebraic process description languages and on the techniques they support to specify and reason about reactive systems.
• Logic in Computer Science. Applications of equational logic in Computer Science, with special focus on process algebras, formal languages, automata, tropical semirings, min-max algebras and the theory of fixed points.
• Structural Operational Semantics.
• Computational complexity of verification problems and of problems in bioinformatics