Mariano Ceccato

  1. Home
  2. Department
  3. People
  4. Mariano Ceccato
foto Ceccato, July 13, 2020
Position
Associate Professor
Academic sector
INFO-01/A - Informatics
Research sector (ERC-2024)
PE6_3 - Software engineering, programming languages and systems

Research sector (ERC)
PE6_3 - Software engineering, operating systems, computer languages

E-mail
mariano|ceccato*univr|it <== Replace | with . and * with @ to have the right email address.
Personal web page
https://profs.scienze.univr.it/~ceccato/

Office Hours

Mercoledì, ore 14:30. 

Ricevimento in presenza o via zoom. Giorno e orario da concordare preventivamente via email.

Curriculum

Modules

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

Course Name Total credits Online Teacher credits Modules offered by this teacher
PhD in Computer Science Automated Software Testing (2025/2026)   4    4 
PhD in Computer Science Automated Software Testing (2024/2025)   4  eLearning 4 
Master's degree in Data Science Data Security & Privacy (2024/2025)   6  eLearning 1 
Master's degree in Computer Science and Engineering Design and validation of software systems (2024/2025)   6  eLearning 5  (Teoria)
1  (Laboratorio)
Master's degree in Computer Science and Engineering Requirement engineering (2024/2025)   6  eLearning 2  (Laboratorio)
4  (Teoria)
Professional Master's programme in Computer game development Fundamentals of Software Engineering (2024/2025)   2  eLearning 2 
PhD in Computer Science Automated Software Testing (2023/2024)   4  eLearning 4 
Master's degree in Computer Engineering for Robotics and Smart Industry Cyber-security for iot (2023/2024)   6  eLearning 4  (Teoria)
Master's degree in Data Science Data Security & Privacy (2023/2024)   6  eLearning 1 
Master's degree in Computer Science and Engineering Foundations of software engineering (2023/2024)   6  eLearning 1  (Laboratorio)
5  (Teoria)
Master's degree in Computer Science and Engineering Requirement engineering (2023/2024)   6  eLearning 4  (Teoria)
2  (Laboratorio)
Master's degree in Computer Engineering for Robotics and Smart Industry Cyber-security for iot (2022/2023)   6  eLearning 5  (Teoria)
1  (Laboratorio)
Master's degree in Data Science Data Security & Privacy (2022/2023)   6  eLearning 1 
Master's degree in Computer Science and Engineering Foundations of software engineering (2022/2023)   6  eLearning 5  (Teoria)
1  (Laboratorio)
PhD in Computer Science Lezioni Dottorandi (2022/2023)   50  eLearning 1 
Master's degree in Computer Engineering for Robotics and Smart Industry Cyber-security for iot (2021/2022)   6  eLearning 5  (Teoria)
1  (Laboratorio)
Master's degree in Data Science Data Security & Privacy (2021/2022)   6  eLearning 1 
Master's degree in Computer Science and Engineering Foundations of software engineering (2021/2022)   6  eLearning 5  (Teoria)
1  (Laboratorio)
Master's degree in Computer Engineering for Robotics and Smart Industry Cyber-security for iot (2020/2021)   6  eLearning 1  (Laboratorio)
5  (Teoria)
Master's degree in Data Science Data Security & Privacy (2020/2021)   6  eLearning 1  (Laboratorio)
1  (Teoria)
Master's degree in Computer Science and Engineering Foundations of software engineering (2020/2021)   6  eLearning 5  (Teoria)
1  (Laboratorio)

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 groups

Trasformazione Digitale e Sostenibile delle PMI Venete
Il progetto supporta 200 PMI venete nella Transizione Gemella, integrando digitalizzazione e sostenibilità. Obiettivi: analizzare esigenze, promuovere tecnologie digitali e formazione. Stakeholder principali: Regione Veneto, Unioncamere, CCIAA, PID e Università.
Research interests
Topic Description Research area
Code protection Development of formal techniques and tools for the protection of software. Cybersecurity
Formal methods and theory of security
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
Organisation of informative events for the small and medium enterprises of the Veneto region and production of digital contents. 9/1/23
Automated Testing of REST APIs 5/29/23
Machine Learning for automated testing of REST APIs 1/18/23
Requirement elicitation for an environmental engineering software framework for modelling the physical processes that control natural water cycle 7/21/22
BuildTrust Proof of Concept 3/23/21
Computer Engineering for Industry 4.0 1/1/18



Organization

Department facilities

Share