In costante aggiornamento...

Tirocini e Tesi Laurea Triennale in Informatica

  • Sono disponibili varie tesi in ambito Bitcoin e Distributed Ledger. Ad esempio, studio di blockchain basate su Hyperledger Fabric con applicazioni Agrifood o Supply Chain.
  • Sviluppo di un'applicazione di Crowdfunding in Ethereum, dallo Smart Contract in Solidity fino all'applicazione vera e propria; riferimento CrowdSale.
  • Utilizzo e modifica di parti della libreria Gecode: per esempio, modifica della visualizzazione della ricerca con Graphical Interactive Search Tool (Gist). Riferimento capitolo 10.
  • Sviluppo di un tool di Opinion Mining (o Sentiment Analysis) sfruttando la libreria Python NLTK.
  • Utilizzo dei software dello Stanford Language Processing Group, in particolare, di CoreNLP per l'analisi del testo (in inglese).
  • Implementazione di un tool per individuazione di plagio tra più progetti software scritti in C, utilizzando le librerie Moss, e analisi statica sul codice per individuare errori su memoria dinamica (memory profiling) ed altri eventuali errori (variabili inutilizzate), per esempio utilizzando Valgrind o Clang.
  • Analisi di sicurezza e del water marking di Red Star OS.
  • Programmazione e utilizzo della suite di prodotti Hack5, in particolare, WiFi Pineapple, LAN Turtle, Bash Bunny, e USB Rubber Ducky. Tool e documentazione fornita dal docente.
  • Setup di una Virtual Machine contente una o più sandbox per lo studio di malware: per esempio Cuckoo.
  • ...

Tesi Compilative Triennali

  • Hyperledger Fabric.
  • Network-based and Wireless Intrusion Prevention Systems (NIPS e WIPS).
  • Cyber-security Incident Response: gestione e strumenti.
  • Strumenti e tecniche di Cyber-attack verso sistemi connessi in rete.
  • Funzionamento di malware di tipo Ransomware.
  • Algoritmi e applicazioni di Sentiment Analysis.
  • Ambienti di programmazione per SmartTV: Samsung SDK, LG SDK, Google TV, SmartTV Alliance SDK, etc.
  • Report delle caratteristiche di sistemi operativi "nazionali", come Red Start OS (Corea del Nord), Kylin (Cina), Zamin (Iran), Astra (Russia).
  • ...

Tesi Laurea Magistrale in Informatica

  • Modifica di un SAT solver (nello specifico MiniSAT), per l'ottimizzazione della risoluzione di problemi di Abstract Argumentation. Prerequisiti: eccellenti doti di programmazione in C e Java, e capacità di comprendere e codice scritto da altri. Conoscenze acquisite con questa tesi: Programmazione C++, Funzionamento di un Solver SAT, Abstract Argumentation.
  • Implementazione di un'applicazione di Timetabling (definizione dell'orario dei corsi) per un corso di Laurea del Dipartimento di Matematica e Informatica, utilizzando la Programmazione con vincoli attraverso la libreria Gecode. Prerequisiti: ottime doti di programmazione in C e Java. Conoscenze acquisite con questa tesi: Programmazione C++, sviluppo interfaccia grafica per l'utente, Programmazione con Vincoli.
  • Implementazione di un'applicazione per l'individuazione delle fallacie, dato un insieme di argomenti.
  • Implementazione di un verificatore di proprietà su ranking-based per Argumentation. Utilizzo del linguaggio Python. Survey scientifico su ranking-based semantics.
  • ...

Possono essere proposti dallo studente anche tesi e tirocini con argomenti differenti, preferibilmente in Intelligenza Artificiale o Cyber Security.

Francesco Santini