Universidad Complutense de Madrid :: NILS mobility project

Venue: Universidad Complutense de Madrid, Spain

From: October 15, 2010

to: December 15, 2010 

Luca Aceto is full professor at the School of Computer Science, Reykjavik University. Since October 2009, he is also the chairman of the Research Council at Reykjavik University

His project, together with David de Frutos, aims at stablishing a generic framework for answering such questions efficiently and at applying the proposed general theory to solve some of the main open problems in the study of the equational logic of processes. 

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.