Alumni 
PhD in Computer science

33° Cycle - Entered in 2017

Alumnus Thesis title
CAIAZZA GIANLUCA Application-level Security for Robotic Networks
OLLIARO MARTINA String Analysis for Software Verification
TORCINOVICH ALESSANDRO Using Contextual Information In Weakly Supervised Learning: Toward the integration of contextual and deep learningapproaches, to address weakly supervised tasks
URSELLA ENRICO In-line industrial computed tomography applications and developments

32° Cycle - Entered in 2016

Alumnus Thesis title
ALEMU LEULSEGED TESFAYE Constrained Dominant Sets and Its Applications in Computer Vision
ELEZI ISMAIL The Usage of Contextual Information in Deep Neural Networks
NEMEC MATÚŠ Challenging RSA cryptosystem implementations
PISTELLATO MARA Structured-Light 3D Reconstruction and Applications
VASCON SEBASTIANO Semi-Supervised Learning and Applications: a Game-Theoretic Perspective

31° Cycle - Entered in 2015

Alumnus Thesis title
BASEI GIANPIETRO Computational tools for the safety assessment of engineered nanomaterials
FIORUCCI MARCO Regular Partitions and Their Use in Structural Pattern Recognition
JAFRI MUHAMMAD MOHSIN RAZA Analysis and Optimisations in Depth-based routing for Underwater Sensor Networks
KLIC LUKAS Digital Publishing and Research Infrastructure for Cultural Heritage: an Institutional Roadmap
MINELLO GIORGIA Quantum Processes for Structural Analysis
PALMARINI FRANCESCO Analysis of Threats and Design Flaws in Hardware and Software Cryptographic Systems
QUINTAVALLE BRUNO Information Retrieval and Extraction from Forums, Complaints and Technical Reviews
TEMPESTA MAURO Disciplined Techniques for the Analysis and Protection of Security-Critical Systems
WAHSHEH HEIDER AHMAD MUTLEQ Secure and Usable QR Codes

30° Cycle - Entered in 2014

Alumnus Thesis title
CAVALLIN FILIPPO Product-Forms beyond Quasi-Reversibility
DEL PICCOLO ALAN Multisensory feedback for interactive surfaces
DI GIACOMO FRANCESCO Metacasanova: a High-performance Meta-compiler for Domain-specific Languages
MEQUANINT EYASU ZEMENE Extensions of Dominant Sets and Their Applications in Computer Vision
SCHIAVINATO MICHELE Transformation Synchronization with Applications in Computer Vision
SQUARCINA MARCO Analysis and Prevention of Security Threats in Web and Cryptographic Applications
STEFFINLONGO ENRICO Efficient security analysis of Administrative Access Control Policies

29° Cycle - Entered in 2013

Alumnus Thesis title
ABBADI MOHAMED Casanova 2, a domain specific language for general game development
GASPARETTO ANDREA Generative Models for Non-Vectorial Data
POURVALI MOHSEN Improving the quality of text clustering and cluster labeling
STOJIĆ IVAN Algorithms for stationary analysis of stochastic Petri nets

28° Cycle - Entered in 2012

Alumnus Thesis title
COSMO LUCA 3D Acquisition and Analysis with Applications in Interaction and Contactless Measurement
FAVRO GIORDANO Algebraic structures for the lambda calculus and the propositional logic.
TRIPODI ROCCO Evolutionary Game Theoretic Models for Natural Language Processing

27° Cycle - Entered in 2011

Alumnus Thesis title
BERGAMASCO FILIPPO High-Accuracy Camera Calibration and Scene Acquisition
KHAN WILAYAT Web Session Security: Formal Verification, Client-Side Enforcement and Experimental Analysis
LETTICH FRANCESCO Analysis and Fast Querying of Mobility Data
NOURBAKHSH FARSHAD Algorithms for Graph Compression: Theory and Experiments

26° Cycle - Entered in 2010

Alumnus Thesis title
COSTANTINI GIULIA Lexical and Numerical Domains for Abstract Interpretation
DEI ROSSI GIAN-LUCA On the Solution of Cooperating Stochastic Models
MARCHEGGIANI DIEGO Beyond Linear Chain: A Journey through Conditional Random Fields for Information Extraction from Text
ROSSI LUCA Modeling, Classification and Analysis of Graph Structures

25° Cycle - Entered in 2009

Alumnus Thesis title
BROCCOLO DANIELE Query Log Based Techniques to Improve the Performance of a Web Search Engine
CALZAVARA STEFANO Static Verification and Enforcement of Authorization Policies
GALLINA LUCIA Formal Models for Qualitative and Quantitative Analysis of Mobile Ad Hoc and Sensor Networks
MAGGIORE GIUSEPPE Casanova: a language for game development
SCANTAMBURLO TERESA Philosophical Issues in Pattern Recognition Research

24° Cycle - Entered in 2008

Alumnus Thesis title
HALDER RAJU EXTENDING ABSTRACT INTERPRETATION TO NEW APPLICATIVE SCENARIOS
LEONARDI LUCA A FRAMEWORK FOR TRAJECTORY DATA WAREHOUSING AND VISUAL OLAP ANALYSIS
RODOLA' EMANUELE SPARSE AND ROBUST MATCHING PROBLEM FOR 3D SHAPE ANALYSIS
SPANO' ALVISE Information Extraction by Type Analysis
TRIOSSI ANDREA HARDWARE EXECUTION OF CONSTRAINT HANDLING RULES
ZANIOLI MATTEO Information Flow by Abstract Interpretation