University of Torino is internationally recognized for its expertise in several areas of theoretical computer science including logic, functional calculi, intersection types, static analysis techniques for object-oriented, concurrent and distributed languages, formal aspects of software engineering. More recently University of Torino has been expanding its competences also in the areas of parallel and high-performance computing. Members of the University of Torino research unit regularly publish works in top-level journals (TCS, I&C, TOPLAS) and conferences (including POPL, LICS, ESOP, FOSSACS, CC, ICALP, OOPSLA, ECOOP, CONCUR, EUROPAR) and have actively participated in the programme committees of several of these conferences. Members of University of Torino are currently involved in several scientific collaborations with academic partners participating in the project proposal and with industrial partners including IBM and NVIDIA.