Michele Pasqua

  1. Home
  2. Department
  3. People
  4. Michele Pasqua
foto, October 5, 2021
Position
Temporary Assistant Professor
Academic sector
INFO-01/A - Informatics
Research sector (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 <== Replace | with . and * with @ to have the right email address.
Personal web page
https://michelepasqua.github.io
Curriculum

Modules

Modules running in the period selected: 8.
Click on the module to see the timetable and course details.

Course Name Total credits Online Teacher credits Modules offered by this teacher
Master's Degree in in Computer Engineering for Intelligent Systems Cyber-security for iot (2024/2025)   6  eLearning 5  (Theory)
1  (Laboratory)
Master’s degree in Publishing and Journalism Informatics and multimedia production (m) (2024/2025)   12  eLearning 1  II MODULO PARTE (P)
PhD in Computer Science Principles and Applications of Abstract Interpretation (2024/2025)   3  eLearning 3 
Master's degree in Computer Engineering for Robotics and Smart Industry Cyber-security for iot (2023/2024)   6  eLearning 2  (Laboratorio)
Master’s degree in Publishing and Journalism Informatics and multimedia production (m) (2023/2024)   12  eLearning 6  II MODULO PARTE (P)
Master’s degree in Publishing and Journalism Informatics and multimedia production (m) (2022/2023)   12  eLearning 6  II MODULO PARTE (P)
Master’s degree in Publishing and Journalism Informatics and multimedia production (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.
Research interests
Topic Description Research area
Static program analysis Study of techniques for the static analysis of programming languages. Inference of properties of the heap memory used by programs. Inference of security properties for information manipulated by computer programs. Software Engineering and Formal Verification
Automated static analysis
Models for concurrent, distributed, and mobile systems Process calculi for concurrent, distributed, and mobile systems. More recently, process calculi for cyber-physical systems and IoT systems. Software Engineering and Formal Verification
Models of computation
Program semantics Development of semantic models for characterizing security and analysis problems of programming languages Software Engineering and Formal Verification
Semantics and reasoning
Software testing Automatic generation of test cases to reveal implementation defects and vulnerabilities in software systems such as REST APIs, smartphone apps, and smart contracts. Software Engineering and Formal Verification
Software testing and debugging
Projects
Title Starting date
PRIN 2022 - Smartitude: Automated Testing and Security Assessment of Smart Contracts 9/28/23
Automated Testing of REST APIs 5/29/23
Machine Learning for automated testing of REST APIs 1/18/23
BuildTrust Proof of Concept 3/23/21



Organization

Department facilities

Share