Michele Pasqua

  1. Home
  2. Dipartimento
  3. Persone
  4. Michele Pasqua
foto, 5 ottobre 2021
Qualifica
Ricercatore a tempo determinato
Settore disciplinare
INFO-01/A - Informatica
Settore di Ricerca (ERC-2024)
PE6_3 - Software engineering, programming languages and systems

PE6_4 - Theoretical computer science, formal methods, automata

PE7_8 - Networks, e.g. communication networks and nodes, Internet of Things, sensor networks, networks of robots

E-mail
michele|pasqua*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.
Pagina Web personale
https://michelepasqua.github.io
Curriculum

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 8.
Clicca sull'insegnamento per vedere orari e dettagli del corso.

Corso Nome Crediti totali Online Crediti del docente Moduli svolti da questo docente
Laurea magistrale in Computer Engineering for Intelligent Systems [LM-32] Cyber-security for iot (2024/2025)   6  eLearning 5  (Theory)
1  (Laboratory)
Laurea magistrale in Editoria e giornalismo [LM-19] Informatica e produzione multimediale (m) (2024/2025)   12  eLearning 1  II MODULO PARTE (P)
Dottorato in Informatica Principles and Applications of Abstract Interpretation (2024/2025)   3  eLearning 3 
Laurea magistrale in Computer Engineering for Robotics and Smart Industry Cyber-security for iot (2023/2024)   6  eLearning 2  (Laboratorio)
Laurea magistrale in Editoria e giornalismo [LM-19] Informatica e produzione multimediale (m) (2023/2024)   12  eLearning 6  II MODULO PARTE (P)
Laurea magistrale in Editoria e giornalismo [LM-19] Informatica e produzione multimediale (m) (2022/2023)   12  eLearning 6  II MODULO PARTE (P)
Laurea magistrale in Editoria e giornalismo [LM-19] Informatica e produzione multimediale (m) (2021/2022)   12  eLearning 6  II MODULO PARTE (P)

Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:

  • Eventi di Terza Missione: eventi di Public Engagement e Formazione Continua.
  • Insegnamenti di Terza Missione: insegnamenti che fanno parte di Corsi di Studio come Corsi di formazione continua, Corsi di perfezionamento e aggiornamento professionale, Corsi di perfezionamento, Master e Scuole di specializzazione.
Competenze
Argomento Descrizione Area di ricerca
Analisi statica di programmi Studio di tecniche di analisi statica per linguaggi di programmazione. Inferenza di proprietà della memoria dinamica dei programmi. Inferenza di proprietà di sicurezza per le informazioni manipolate dai programmi. Ingegneria del Software e Verifica Formale
Automated static analysis
Modelli per sistemi concorrenti, distribuiti e mobili Calcoli di processo per sistemi concorrenti, distribuiti e con mobilità di codice e/o agenti. Più di recente, calcoli di processo per sistemi ciberfisici e sistemi IoT. Ingegneria del Software e Verifica Formale
Models of computation
Semantica di programmi Studio di tecniche e modelli semantici per la caratterizzazione di problemi di analisi e di sicurezza nei linguaggi di programmazione. Ingegneria del Software e Verifica Formale
Semantics and reasoning
Testing del software Generazione automatica di casi di test per rivelare difetti di implementazione e vulnerabilità in sistemi software come API REST, app per smartphone e smart contracts. Ingegneria del Software e Verifica Formale
Software testing and debugging
Progetti
Titolo Data inizio
PRIN 2022 - Smartitude: Automated Testing and Security Assessment of Smart Contracts 28/09/23
Testing Automatizzato di REST API 29/05/23
Machine learning per il testing automatizzato di REST API 18/01/23
Prototipo Concettuale di Build Trust 23/03/21



Organizzazione

Strutture del dipartimento

Condividi