Main Projects

14/06/2022
FAVPQC
Formal Analysis and Verification of Post-Quantum Cryptographic Protocols
24/03/2022
TAILOR
European TAILOR project
23/03/2022
OGMIOS
Intelligent system for clinical decision support in precision medicine.
22/03/2022
iv4XR
Intelligent Verification/Validation for Extended Reality Based Systems
21/03/2022
DECODER
DEveloper COmpanion for Documented and annotated code Reference
20/03/2022
GISPRO
Genomic Information Systems Production – Deciphering the Life Language using the Information Systems Engineering