Formal Analysis and Verification of Post-Quantum Cryptographic Protocols

European TAILOR project

Intelligent system for clinical decision support in precision medicine.

Intelligent Verification/Validation for Extended Reality Based Systems

DEveloper COmpanion for Documented and annotated code Reference

Genomic Information Systems Production – Deciphering the Life Language using the Information Systems Engineering