The NiRvAna project, funded by the 2020 MUR-PRIN call, is about the use of formal methods in computer science for studying noninterference and reversibility properties of private blockchains. A special application interest is in the field of central bank digital currency (CBDC).
Starting Date | June 1, 2022 |
Project Duration | 36 months |
Principal Investigator | Marco Bernardo (University of Urbino) |
Site Leaders |
Marco Bernardo (University of Urbino) Carla Piazza (University of Udine) Sabina Rossi (University Ca' Foscari Venezia) |
Work Package Leaders | Alessandro Aldini (WP2) Marco Bernardo (WP1, WP5) Francesco Fabris (WP5) Andrea Marin (WP3) Claudio A. Mezzina (WP3, WP4) Carla Piazza (WP2, WP4) Sabina Rossi (WP1, WP2) |
Freely inspired by w3.css