Members‎ > ‎

Alessandro Sebastian Podda

Alessandro Sebastian Podda is a post-doc researcher at the Department of Mathematics and Information Technology of the University of Cagliari. He got a PhD in Mathematics and Informaticssupported by a grant from RAS (Autonomous Region of Sardinia), under the supervision of Prof. Massimo Bartoletti. His PhD thesis was titled "Behavioural contracts: from centralized to decentralized implementations". Previously, he got a BSc and a MSc in Informatics (both with honours) at the University of Cagliari

Currently, he is also project manager for the research and technology transfer projects SardCoin (director: Prof. Michele Marchesi) and DoUtDes (director: Prof. Salvatore Carta), funded by Sardegna Ricerche and handled by the University of Cagliari.

Research interest

Information security, distributed systems, cryptocurrencies, blockchains, smart contracts, deep learning.

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.

5) A. S. Podda.
    Behavioural contracts: from centralized to decentralized implementations, 2018. PhD Thesispdf 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)
  • ITASEC18, 2nd Italian Conference on Cybersecurity, Milan, IT (participant)

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 / Cybersecurity (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)
2018
- 1st Scientific School on Blockchain & distributed ledger technologies - International PhD Spring School - 12-15 June '18, Pula (Cagliari, Italy) - invited lecturer

- Teaching assistant of Foundations of Computer Science (BSc program in Informatics)
2019
- Cyberchallenge 2019 - local lecturer
2nd Scientific School on Blockchain & distributed ledger technologies - International PhD Spring School - 10-14 June '19, Pula (Cagliari, Italy) - invited lecturer

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