Logo IMI                      

Luca AcetoLuca Aceto
Position: Professor and Senior NILS grantee
Reykjavik University, Iceland
e-mail: luca@ru.is
web: http://www.ru.is/faculty/luca/
Visiting IMI from October 15th to December 15th, 2010

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


©2009 IMI