The finance field is a heavily regulated area that has seen continuous regulatory changes in the aftermath of the 2008 crisis, as well as an ever-increasing demand for establishing compliance and supervision processes, to ensure proper conduct by companies and their employees. We observe a gap between financial activities, now highly automated and at scale, and most of the financial compliance and supervision processes, which still rely on manual human evaluation and as such do not scale and fall behind. This prompts the need to investigate the use of IT technologies to fill this gap and make the new financial ecosystem safe and sustainable. In this talk, I will discuss how triptychs of software engineering activities can be applied to automate change impact analysis of financial regulations, supervision of fund activities, and compliance checking of financial documents.

Domenico Bianculli is associate professor/chief scientist 2 at the Interdisciplinary Centre for Security, Reliability and Trust (SnT), University of Luxembourg. He holds a PhD degree from University of Lugano (Switzerland), a MSc in Computing Systems Engineering and a BSc in Computer Engineering, both from Politecnico di Milano (Italy). Domenico’s research focuses on the specification and verification of evolvable software systems. His research interests include: trace checking and run-time verification of temporal properties, modeling and enforcing of access control policies, program analysis for security, incremental verification techniques, and verification of service-oriented systems.