About me

I was born in November 1984 in Venice.
I received the bachelor (summa cum laude) and master degrees (summa cum laude) in Computer Science from the Ca' Foscari University of Venice respectively in 2006 and 2009. My bachelor thesis consisted of the analysis of an algorithm for the sequentialisation of DNA (Bioinformatic), whereas my master thesis was about a Process algebra for the analysis of Mobile Ad Hoc Networks.
In April 2013 I got a PhD in Computer Science at Ca' Foscari University of Venice. During my three years of PhD, my research has been aimed at the study and the implementation of formal models for the analysis of wireless ad hoc and sensor networks. In particular, my PhD thesis deals with the Power-Aware analysis of Mobile Ad hoc networks.
In the summer 2013 I spent a month in the Department of Computer Science, University of Oxford (U.K.), working with the PRISM model checker. In particular, I collaborated with Professor Marta Zofia Kwiatkowska, and with the research assistant Tingting Han. This collaboration has involved the last six months of my PhD, and it has apported an essential contribution to my PhD thesis. 1

Pubblications on Journals

Pubblications on International Conferences

Research Reports

  • L. Gallina.
    Formal Models for Qualitative and Quantitative Analysis of Mobile Ad Hoc and Sensor Networks
    PhD Thesis, DAIS, University Ca’ Foscari of Venice, 2013.[Pdf]
  • L. Gallina, S. Hamadou, A. Marin, S. Rossi
    Connectivity and Energy-aware Preorders for Mobile Ad-Hoc Networks
    Research report, DAIS, University Ca’ Foscari of Venice, 2012.[Pdf]
  • M. Bugliesi, L. Gallina, S. Hamadou, A. Marin and S. Rossi.
    Interference-sensitive Preorders for MANETs.
    Research report, DAIS, University Ca’ Foscari of Venice, 2011.[Pdf]
  • L. Gallina, S. Hamadou, A. Marin and S. Rossi.
    A Probabilistic Energy-Aware Model for Ad-Hoc Networks.
    Research report, DAIS, University Ca’ Foscari of Venice, 2011.[Pdf]
  • L. Gallina and S. Rossi.
    A process calculus for energy-aware multicast communications of mobile ad-hoc networks.
    Research report, DAIS, University Ca’ Foscari of Venice, 2010.[Pdf]
  • L. Gallina and S. Rossi.
    A formal model for the analysis of mobile ad hoc networks.
    Research Report CS-2009-9, DAIS, University Ca’ Foscari of Venice, 2009.[Pdf]

Activities


A.A. 2008/2009
  • Tutor of Programmazione Modulo 1
  • Laurea Triennale in Informatica, Facoltà di Scienze MM.FF.NN., Università Ca' Foscari di Venezia.
A.A. 2009/2010
  • Tutor of Programmazione Modulo 2
  • Laurea Triennale in Informatica, Facoltà di Scienze MM.FF.NN., Università Ca' Foscari di Venezia.
  • Participation to Bertinoro Spring School. Bertinoro (Forl - Cesena), Italy, 1-10 March, 2010.
A.A. 2010/2011
  • Participation to the IFIP Wireless Days 2010 as Local Arrangement Chair, San Servolo, Venezia, October 20-22, 2010.
A.A. 2011/2012
  • Tutor of Programmazione Modulo 2
  • Laurea Triennale in Informatica, Facoltà di Scienze MM.FF.NN., Università Ca' Foscari di Venezia.
  • Sojourn in Oxoford and collaboration with the Department of Computer Science, University of Oxford, June-July, 2012.

Talks


  • "E-BUM: A Energy-aware Calculus for Broadcast, Unicast and Multicast communications in Mobile Ad Hoc Networks". Department of Computer Science, Universiy Ca' Foscari of Venice, 17-03-2010
  • "A calculus for costed computations", a work of Mathew Hennessy. Department of Computer Science, Universiy Ca' Foscari of Venice, 26-05-2010
  • Presentation of the paper "Sender- and Receiver-centered Interference in Wireless Ad Hoc Networks", IFIP Wireless Days, San Servolo, Venezia, October 20-22, 2010.
  • Presentation of the paper "A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks". 18th International Conference on Analytical and Stochastic Modelling Techniques Applications,Venezia, 20-22 June 2011
  • Participation to the ICEP 2012 (Imperial College Energy and Performance Colloquium), London 29 May - 1 June 2012. Presentation of the abstract "A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Network".
  • "A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Network". Department of Computer Science, University of Oxford, 20 -06-2012.
  • Presentation of the paper "Automatic Energy-aware Performance Analysis of Mobile Ad-hoc Networks", IFIP Wireless Days 2012, Dublin November 21-23.