Il nostro dipartimento è promotore e partecipa attivamente al Dottorato in Matematica, Informatica, Statistica in consorzio tra l'Università degli Studi di Firenze, l'Università degli Studi di Perugia, l'Istituto Nazionale di Alta Matematica "F. Severi".  Il dottorato è stato istituito a partire dal XXIX Ciclo (a.a. 2013/2014) ed ha sede amministrativa presso il Dipartimento di Matematica e Informatica "U.Dini" (DiMAI) dell'Università degli studi di Firenze.


NEWS: Final exams on June 6th (Monday) - at 14:30

Candidates: Mohamad Almgerbi, Giulio Rigoni, Hafiza Maria Maqsood, Mirko Staderini.

Where: Dip. di Matematica e Informatica U. Dini - Firenze - Aula Tricerri

Link for joining remotely: https://meet.google.com/dbg-nupc-aby

Program:

14:30-14:40 Welcome

14:40-15:15 Mohamad Almgerbi

15:15-15:50 Giulio Rigoni

15:50-16:00 Short break

16:00-16:35 Hafiza Maria Maqsood

16:35-17:10 Mirko Staderini

17:10-17:20 Closing

Talk Abstract:

* Mohamad Almgerbi. Stop N-gram Removal and Topic-Similarity to Improve Topic Modeling.

 In recent years, topic modeling has been increasingly adopted to find conceptual patterns in large corpora of digital documents to organize them accordingly. The success of any topic modeling algorithm depends on two fundamental steps: data preprocessing and determining the optimal number of topics. This presentation will cover two different approaches: Stop N-gram Removal, a novel preprocessing procedure based on the elimination of a dynamic number of repeated words in text documents and Topic-Similarity, a new way to determine the optimal number of topics which automatically measures the similarity between the meanings of the words in each topic. I will  further discuss the success of these approaches and limitations of this study.

* Giulio Rigoni. Drones Applications, Safety and Security Issues.

The introduction of drones has simplified life in different daily tasks, but at the same time, they are subjected to attacks carried on by malicious users that can turn them into weapons, thus harming people and causing damage.
 C
onsequently, one of the most current uses of drones, the delivery of packages, is studied in the initial part of  the thesis from different perspectives and scenarios, especially considering the wind. From the drones' deployment, security and privacy issues are then considered starting from an overview of the possible attacks, followed by an affordable drones detection framework for compromised drones.

*Hafiza Maria Maqsood. Development of Safety-critical systems with agile software development process models. 

Agile methodologies are widely adapted for software development processes. However, for safety-critical systems there is still need of research and experimentation before they can be applied to the development phases in a more efficient way.
This thesis highlights the major areas of concern or in other words, the points of conflict between agile and safety-critical systems. Along with that it addresses some of major problems for adaption of agile in development of safety-critical systems. Further it proposes solutions for possible applications of agile process models for development of safety-critical systems by combining traditional approaches and agile approaches for system development.

* Mirko Staderini. Towards the Assessment and the Imporvement of Smart Contract Security.

The development of smart contracts has increased the application areas of the Blockchain. Security is one of the most important issues considering that smart contracts cannot be patched once they are deployed into the Blockchain. Focusingon one of the main platforms for contract development (Ethereum) and its primary language Solidity, this presentation proposes an approach to evaluate and improve the security of smart contracts. We initially propose a language-independent systematisation of vulnerabilities, the basis of our research. Then, through the use of static analysis, we perform an assessment of smart contract security.
Finally, we investigate three possible approaches to improve security: combining several tools, identifying top-priority vulnerabilities that escape detection, and determining where vulnerabilities are most likely located.


Il nostro dipartimento a partire dal XXXVII Ciclo  (a.a. 2021/2022) partecipa al Dottorato Nazionale in intelligenza artificiale settore strategico "Agricoltura ed Ambiente", che ha sede amministrativa presso l'Università degli Studi di Napoli Federico II e vede come partecipanti anche l'Università di Udine, l'Università “Campus Bio-Medico” di ROMA e il Consiglio Nazionale delle Ricerche.

In dettaglio:

Il coordinatore del Dottorato è il Prof. Matteo Focardi.

Pagina web dottorato: https://www.dimai.unifi.it/vp-138-dottorato.html

Pagine web dottorati Firenze: https://www.unifi.it/vp-385-dottorati-di-ricerca.html

Il dottorato prevede tre curricula:

Riferimenti dipartimentali per il dottorato: Prof. Gianluca Vinti (MATEMATICA) - Prof.ssa Cristina Pinotti (INFORMATICA)


Corsi di Dottorato di Ricerca del XXXVII ciclo (https://www.dimai.unifi.it/vp-378-xxxvii-ciclo.html )

Bando di Concorso: https://www.unifi.it/p12018.html
Graduatoria finale: https://www.unifi.it/upload/sub/dottorati/37/matematica_approvazione_atti.pdf

 

Bando di Concorso borse aggiuntive PON: https://www.unifi.it/p12104.html

Gruatoria finale: https://www.unifi.it/upload/sub/dottorati/PON_2021/matematica_informatica_appatti.pdf


Corsi di Dottorato di Ricerca del XXXVI ciclo:

Bando di Concorso: https://www.unifi.it/p11741.html

 Graduatoria finale: https://www.unifi.it/upload/sub/dottorati/36/graduatoria_matematica_ita.pdf


Corsi di Dottorato di Ricerca del XXXV ciclo:

Bando di Concorso: www.unifi.it/p11549.htm

Graduatoria finale: https://www.unifi.it/upload/sub/dottorati/35/graduatoria_MATEMATICA_INFORMATICA_ita.pdf


 Corsi di Dottorato di Ricerca del XXXIV ciclo:

Bando di Concorso: https://www.unifi.it/p11361.html

Graduatoria finale: https://www.unifi.it/upload/sub/dottorati/34/matematica_appatti_ita.pdf


Corsi di Dottorato di Ricerca del XXXIII ciclo:

Informazioni: https://www.unifi.it/cmpro-v-p-11202.html
Graduatoria finale: https://www.dimai.unifi.it/upload/sub/dottorato/esame2017/risultati-finali.pdf


INdAM Doctoral Programme in Mathematics and/or Applications cofunded by Marie Skłodowska-Curie Actions

Il Dottorato Nazionale in Intelligenza Artificiale è articolato in 5 dottorati federati fra loro che raggruppano 61 università ed enti di ricerca. I 5 dottorati hanno una base comune rivolta ai fondamenti e allo sviluppo dell’IA, e ciascuno ha un’area di specializzazione in un settore strategico di sviluppo e applicazione dell’IA. Ciascun dottorato è organizzato da una università capofila, in collaborazione col CNR:

  • Salute e scienze della vita, Università Campus Bio-Medico di Roma
  • Agricoltura (agrifood) e ambiente, Università degli Studi di Napoli Federico II (di cui è partner l'Università di Perugia)
  • Sicurezza e cybersecurity, Sapienza Università di Roma
  • Industria 4.0, Politecnico di Torino
  • Società, Università di Pisa

Pagina web dottorato: https://www.phd-ai.it/

Riferimento dipartimentale per il dottorato: Prof. Stefano Bistarelli


Corsi di Dottorato di Ricerca del XXXVII ciclo: http://www.unina.it/didattica/post-laurea/dottorati-di-ricerca/bandi-di-ammissione