Members‎ > ‎

Alessandro Sebastian Podda


Sunset in Poetto Beach, Cagliari (credits by revolart.it)

Alessandro Sebastian Podda got a BSc and a MSc in Informatics (both with honours) at the University of Cagliari. In his Master thesis he presented a Java middleware for contract-oriented applications. 

Currently, he is a 3rd-year PhD student at the Department of Mathematics and Information Technology of the University of Cagliari, supervised by Massimo Bartoletti. His PhD activity is supported by a grant from RAS (Autonomous Region of Sardinia). He is also the PhD Representative of the Department.

Research interest

Computer security, programming languages, distributed systems, cryptocurrencies, blockchains, smart contracts.

Formal publications

1) M. Bartoletti, T. Cimoli, M. Murgia, A. S. Podda, and L. Pompianu.
    A contract-oriented middleware, 2015. In Proc. FACSpdf here.

2) M. Bartoletti, T. Cimoli, M. Murgia, A. S. Podda, and L. Pompianu.
    Compliance and subtyping in timed session types, 2015. In Proc. FORTEpdf here.

3) N. Atzei, M. Bartoletti, T. Cimoli, S. Lande, M. Murgia, A. S. Podda and L. Pompianu.
    Contract-oriented programming with timed session types, 2017. In BETTY bookpdf here.

4) M. Bartoletti, S. Lande, A. S. Podda.
    A Proof-of-Stake protocol for consensus on Bitcoin subchains, 2017. In Proc. WTSC 2017. pdf here.

Conferences/workshops and conventions

  • IIR 2015, 6th Italian Information Retrieval Workshop, Cagliari, IT (participant)
  • FACS 2015, 12th International Conference on Formal Aspects of Component Software, Niteròi/Rio de Janeiro, BR (speaker)
  • AppSec EU '16, OWASP AppSec Europe 2016 Conference, Rome, IT (participant)
  • CIBB 2017, 14th International Conference on Computational Intelligence methods for Bioinformatics and Biostatistics, Cagliari, IT (organiser)

Other seminars and talks

- May 2016. "The Bitcoin Backbone Protocol" (Dep. of Mathematics and Computer Science, University of Cagliari)
- May 2017. "A Proof-of-Stake protocol for consensus on Bitcoin subchains" (Dep. of Mathematics, University of Trento)
- May 2017. "Bitcoin Scripting Language" (BANF days, University of Trento)

Teaching activity

2014
- Teaching assistant of
Algorithms and data structures (BSc program in Informatics)
- Teaching assistant of Security Foundations (MSc program in Informatics)
2015
- Teaching assistant of
Foundations of Computer Science (BSc program in Informatics)
- Teaching assistant of Security Foundations (MSc program in Informatics)
2016
- Teaching assistant of 
Foundations of Computer Science (BSc program in Informatics)
- Teaching assistant of Security Foundations (MSc program in Informatics)


PhD activity

Visiting periods

  • CryptoLabTN, Department of Mathematics, University of Trento. Directed by Prof. Massimiliano Sala. Period: April/July 2017

PhD Schools

  • BISS 2015 (Bertinoro International Spring School), 9-13 March, University of Bologna, Bertinoro (CeUB) - Lecturers: Prof. Giuseppe Persiano (University of Salerno, Italy); Prof. Dario Bauso (University of Palermo, Italy); Prof. Catuscia Palamidessi (Director of Research at INRIA, France)
  • SSCSP 2016 (Summer School in Computer Security & Privacy), 5-9 September, University of Cagliari, Pula (Sardegna Ricerche) - Lecturers: Prof. Giorgio Giacinto (University of Cagliari, Italy), Prof. Lorenzo Cavallaro (Royal Holloway, University of London) and others