AUTOMI E LINGUAGGI FORMALI, AA 2025 (SC02100756)

FORMAL METHODS FOR CYBER-PHYSICAL SYSTEMS, AA 2025 (SCQ0089514)

AUTOMI E LINGUAGGI FORMALI, AA 2024 (SC02100756)

FORMAL METHODS FOR CYBER-PHYSICAL SYSTEMS, AA 2024 (SCQ0089514)

INFORMATICA E BIOINFORMATICA, AA 2024 (SC02122869)

SEMINARS AND OTHER ACTIVITIES, AA 2024 (SCQ0089466)

SHORT INTERNSHIP, AA 2024 (SCQ2101339)