Knowledge Discovery: Data Quality and Cleaning, Business Intelligence, Graph Databases, Machine Learning.
Artificial Intelligence: domain-independent planning, temporal continuous planning, planning in mixed discrete-continuous domains, planning in hybrid domains.
Formal Verification: model checking techniques, HW/SW verification, control theory, graph algorithms.
(Co)-Developed Tools: UPMurphi, a tool for linear and nonlinear continuous PDDL+ models with processes and events. It also handles huge state spaces through a disk-based algorithm, while the SUPMurphi extension implements the strong planning algorithm for dealing with non-determinism.
I’m also interested in putting my research into practice, take a look to Research Projects section for further details.