Members‎ > ‎

Alessandro Sebastian Podda


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

Alessandro Sebastian Podda is a post-doc and project-manager at the Department of Mathematics and Information Technology of the University of Cagliari. He got a PhD in Mathematics and Informatics, supported by a grant from RAS (Autonomous Region of Sardinia) and, previously, he got a BSc and a MSc in Informatics (both with honours) at the University of Cagliari. His PhD thesis was titled "Behavioural contracts: from centralized to decentralized implementation". 

He is also a teacher assistant and the PhDs and Post-docs 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)
2017
- 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