On the 28th of November, Muhammad Sanaullah presented a report about his Ph.D. activity at Politecnico, as requested for concluding the fourth year of the Ph.D. program.

The topic of the presentation was "Design Time Methodology for the Formal Modeling and Verification of Smart Environments"; the presentation slides are available on Slideshare.