Our mission is to push the boundaries of what modern digital systems can do, by breaking new ground in and establishing synergies between the fields of artificial intelligence, cybersecurity, and programming technology. Computer systems, like data clouds and the Internet of Things, are getting increasingly larger and more complex, both in terms of software and hardware. We have crossed the limits of checking manually that computer programs do what they are supposed to do, and that they do so efficiently and securely.
In our group, we develop theory and tools that support developers in the modelling, analysis, coordination, and programming of systems. We investigate methods that automate and optimise crucial steps of the development and deployment processes, enhancing their efficiency and reliability, and we build solutions and libraries that increase the security of systems.
Marco Peressotti gave an invited talk at the International Conference on the Future of Standards in CyberSecurity organised by the Polish Institute of Telecomunications in collaboration with the International Standards Organisation, the International Electrotechnical Commission, and the Polish Chamber of Commerce for Electronics and Telecommunications.
Mauro lectured on Site Engineering Reliability culture and techniques and the recent declination of DevSecOps. Peressotti lectured on Formal Methods fundamentals and main techniques and gave a tutorial about formal specifications using TLA+.
Jacopo Mauro, together with Cesar Sanchez (IMDEA Software Institute, Spain), organised PhD-iFM’19, a PhD Symposium at the 15th International Conference on integrated Formal Methods (iFM). Theme of this edition of the symposium was “Formal Methods: Algorithms, Tools and Applications”. This edition’s award was assigned to Debasmita Lohar, for the paper: “Sound Probabilistic Numerical Error Analysis”.