In August 2024, using the TNA program of the SoBigData project, I visited the prestigious KTH Royal Institute of Technology of Stockholm, Sweden, and worked with Prof. Aristides Gionis and his staff on topics regarding formal approaches to data analysis for Cognitive Buildings and their possible application to problems of smart environments in general.