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
