Servizio momentaneamente sospeso per manutenzione.
Rubrica
Qualifica
Professore Associato
Indirizzo
VIA TRIESTE, 63 - TORRE ARCHIMEDE - PADOVA
Telefono
049 827 1330
Avvisi
Orari di ricevimento
Il Martedi' dalle 16:30 alle 18:30
presso Ufficio del docente: aula 320, III piano di Torre Archimede, scala C.
Insegnamenti
- AUTOMI E LINGUAGGI FORMALI, AA 2024 (SC02100756)
- FORMAL METHODS FOR CYBER-PHYSICAL SYSTEMS, AA 2024 (SCQ0089514)
- FORMAL METHODS FOR CYBER-PHYSICAL SYSTEMS, AA 2024 (SCQ0089514)
- FORMAL METHODS FOR CYBER-PHYSICAL SYSTEMS, AA 2024 (SCQ0089514)
- INFORMATICA E BIOINFORMATICA, AA 2024 (SC02122869)
- AUTOMI E LINGUAGGI FORMALI, AA 2023 (SC02100756)
- FORMAL METHODS FOR CYBER-PHYSICAL SYSTEMS, AA 2023 (SCQ0089514)
- FORMAL METHODS FOR CYBER-PHYSICAL SYSTEMS, AA 2023 (SCQ0089514)
- INFORMATICA E BIOINFORMATICA, AA 2023 (SC02122869)
- AUTOMI E LINGUAGGI FORMALI, AA 2022 (SC02100756)
- FORMAL METHODS FOR CYBER-PHYSICAL SYSTEMS, AA 2022 (SCQ0089514)
- FORMAL METHODS FOR CYBER-PHYSICAL SYSTEMS, AA 2022 (SCQ0089514)
- INFORMATICA E BIOINFORMATICA, AA 2022 (SC02122869)
