Alessandro Sebastian Podda

Alessandro Sebastian Podda is a post-doc researcher at the Department of Mathematics and Computer Science of the University of Cagliari. He got a PhD in Mathematics and Informatics, supported by a grant from RAS (Autonomous Region of Sardinia), with a thesis entitled "Behavioural contracts: from centralized to decentralized implementations". In 2017, he has been visiting PhD student at the Laboratory of Cryptography and Industrial Mathematics of the University of Trento. Previously, he got a BSc and a MSc in Informatics (both with honours) at the University of Cagliari.

Currently, he is a member of the Artificial Intelligence and Big Data Laboratory and the Blockchain Laboratory of the University of Cagliari. He is also technical director and solution architect of the Doutdes and Sardcoin projects, and participates in numerous research projects including AlmostAnOracle, Safespotter and Mister.

Since now, he has been the co-author of several journal articles and scientific conference papers, as well as reviewer for different top-tier international journals (Elsevier, IEEE, MDPI).

Research interest

artificial intelligence, deep learning, information security, distributed systems, blockchain and smart contracts

Formal publications

  1. S. Carta, A. Ferreira, A. S. Podda, D. Reforgiato Recupero, and A. Sanna. Multi-DQN: an Ensemble of Deep Q-Learning Agents for Stock Market Forecasting, 2020. To be published in Elsevier: Expert Systems With Applications (Impact Factor 5.45)

  2. S. Barra, S. Carta, A. Corriga, A. S. Podda, and D. Reforgiato Recupero. Deep Learning and Time Series-to-Image Encoding for Financial Forecasting, 2020. In IEEE/CAA: Journal of Automatica Sinica, vol. 7, n. 3. pdf here (Impact Factor 5.13)

  3. S. Carta, A. Corriga, A. Ferreira, A. S. Podda, and D. Reforgiato Recupero. A Multi-Layer and Multi-Ensemble Stock Trader Using Deep Learning and Deep Reinforcement Learning, 2020. To be published in Springer: Applied Intelligence (Impact Factor 3.32)

  4. R. Longo, A. S. Podda, and R. Saia. Analysis of a Consensus Protocol for Extending Consistent Subchains on the Bitcoin Blockchain, 2020. In MDPI: Computation, vol. 8, n. 3. pdf here

  5. S. Carta, S. Consoli, L. Piras, A. S. Podda, and D. Reforgiato Recupero. Dynamic Industry-specific Lexicon Generationfor Stock Market Forecast, 2020. To be published in Proc. LOD 2020.

  6. S. Barra, A. Carcangiu, S. Carta, A. S. Podda, and D. Riboni. A Voice User Interface for football event tagging applications, 2020. Accepted at AVI 2020.

  7. A. S. Podda, L. Pompianu. An overview of blockchain-based systems and smart contracts for digital coupons, 2020. In Proc. ICSEW20.

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

  9. 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 book.

  10. M. Bartoletti, T. Cimoli, M. Murgia, A. S. Podda, and L. Pompianu. A contract-oriented middleware, 2015. In Proc. FACS. pdf here

  11. M. Bartoletti, T. Cimoli, M. Murgia, A. S. Podda, and L. Pompianu. Compliance and subtyping in timed session types, 2015. In Proc. FORTE. 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 (co-organiser)

  • ITASEC18, 2nd Italian Conference on Cybersecurity, Milan, IT (participant)

  • WETSEB20, 3rd International Workshop on Emerging Trends in Software Engineering for Blockchain, Seul, SK (participant)

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) and Security Foundations (MSc program in Informatics)

  • 2015. Teaching assistant of Foundations of Computer Science (BSc program in Informatics) and Security Foundations (MSc program in Informatics)

  • 2016. Teaching assistant of Foundations of Computer Science (BSc program in Informatics) and Security Foundations / Cybersecurity (MSc program in Informatics)

  • 2017. Teaching assistant of Foundations of Computer Science (BSc program in Informatics) and Security Foundations (MSc program in Informatics)

  • 2018.

  • 2019.

Visiting periods e scientific schools

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