Research lines

Our research interests are mainly oriented toward the following areas:

Summary of Modelling and analysis of concurrent systems, with applications in logistics, manufacturing and automation

Integration of quantitative evaluation techniques based on formal methods (like stochastic Petri nets) within the current standards and development methodologies of software systems and manufacturing systems.

Summary of Discrete event systems simulation techniques on low cost platforms

Summary of Fault tolerance and security

Computational Complexity, Information Theory, Kolmogorov Complexity, resource-bounded measure, effective dimension, compression algorithms

Computational phylogenetics

Summary of Distributed information systems