Fabio Mercorio
assistant professor in Computer Science in Milan, MI, Italy
Since November 2011 I am a research fellow in computer science at CRISP Research Centre, University of Milan – Bicocca, Italy
My research activity focuses on:
Data Quality: data quality analysis, data cleansing procedures, data quality verification and cleansing via formal methods.
Artificial Intelligence: domain-independent planning, universal planning, temporal continuous planning, planning in mixed discrete-continuous domains, heuristic search, soft computing, fuzzy logic, genetic algorithms.
Formal Methods: model checking techniques, hardware/software verification, control systems, decision diagrams, graph algorithms, modelling and analysing complex and dynamical systems.