Francesca Schiavi is attending the last year of MCs in computer science engineering at Politecnico di Milano, Italy. During these years she focused her interests towards information science in all its aspects, software developing, database management, data analysis, algorithms and system performance. On this latter topic Francesca analyzed Google's clusters traces in terms of response time to users. She also took part into a C++ project of parallel programming, modeling the Biham-Middleton-Levine model. During her permanence at CERN Francesca will analyze and verify formally finite state Machine from WinCC OA.