The laboratory works on data science and automatic verification, with a particular emphasis on the cross-contamination and integration between the two areas. Our projects are made in cooperation with local, national, and international partners.

Data Science

(spatio-temporal) databases, data warehousing and decision support systems, data integration and migration, machine learning applied to (spatio-temporal) data, natural language processing and automatic speech recognition, traditional (GIS) and web-based (webGIS) geographic information systems, evolutionary algorithms 

Automatic Verification

temporal and spatial reasoning, model checking, monitoring, automata theory, formal methods, logics for artificial intelligence, workflows and planning