Ph.D. in Information Technology: Final Dissertations
DEIB - Conference Room (building 20)
February 7th, 2017
10.00 am
February 7th, 2017
10.00 am
Abstract
On February 7th, 2017 the final dissertations of the candidates of the Ph.D. in Information Technology will be held at DEIB Conference Room (building 20) and will start at 10.00 am:
Naser DERAKHSHAN – XXIX Cycle
"A Middleware for Peer-to-Peer Interaction of Smart Things"
Advisor: Prof. Luciano Baresi
Luca FLORIO – XXIX Cycle
"Design and Management of Distributed Self-Adaptive Systems"
Advisor: Prof. Elisabetta Di Nitto
Alessandro Maria RIZZI – XXIX Cycle
"A Syntactic - Semantic Approach for Incremental Program Verification of Matching Logic Properties"
Advisor: Prof. Carlo Ghezzi
Christos TSIGKANOS - XXIX Cycle
"Modelling and Verification of Evolving Cyber-Physical Spaces"
Advisor: Prof. Carlo Ghezzi
Eric UMUHOZA – XXIX Cycle
"Domain-specific Modeling and Code Generation for Cross-platform Mobile and IoT-Based Applications"
Advisor: Prof. Marco Brambilla
PhD Committee:
Prof. Marco Brambilla, DEIB - Politecnico di Milano
Prof. Paolo Bellavista, Universita' di Bologna
Prof. Antonio Filieri, Imperial College London
Naser DERAKHSHAN – XXIX Cycle
"A Middleware for Peer-to-Peer Interaction of Smart Things"
Advisor: Prof. Luciano Baresi
Luca FLORIO – XXIX Cycle
"Design and Management of Distributed Self-Adaptive Systems"
Advisor: Prof. Elisabetta Di Nitto
Alessandro Maria RIZZI – XXIX Cycle
"A Syntactic - Semantic Approach for Incremental Program Verification of Matching Logic Properties"
Advisor: Prof. Carlo Ghezzi
Christos TSIGKANOS - XXIX Cycle
"Modelling and Verification of Evolving Cyber-Physical Spaces"
Advisor: Prof. Carlo Ghezzi
Eric UMUHOZA – XXIX Cycle
"Domain-specific Modeling and Code Generation for Cross-platform Mobile and IoT-Based Applications"
Advisor: Prof. Marco Brambilla
PhD Committee:
Prof. Marco Brambilla, DEIB - Politecnico di Milano
Prof. Paolo Bellavista, Universita' di Bologna
Prof. Antonio Filieri, Imperial College London