Giovanni Agosta has obtained the Laurea degree in Computer Engineering (2000) and the doctoral degree in Information Technology (2004) at Politecnico di Milano, where he currently holds the position of Associate Professor. His research interests focus on the compiler-based enforcement of extra-functional properties (security, performance, energy efficiency) of programs in the context of both High Performance Computing and Embedded Systems.