Members‎ > ‎

Livio Pompianu

Livio Pompianu earned a BSc (with honours) in Informatics in 2012 at the University of Cagliari.

During his MSc studies, he worked first as software developer at local company and then as teaching assistant and contract holder at the Department of Mathematics and Computer Science of the University of Cagliari. 
He earned his MSc in Informatics in 2014 at the University of Cagliari.

Since 2014 he is a PhD student at the Department of Mathematics and Computer Science of the University of Cagliari, supervised by Massimo Bartoletti.

Email pompianu (dot) livio (at) unica (dot) it


Research interests
Blockchain analysis, languages and design patterns for smart contracts,
computer security, programming languages, distributed systems.


Publications

Visiting experiences

Talks

Teaching activity
  • 2016
    • Teaching assistant of Security Foundations (MSc program in Informatics)
    • Seminar: "A survey on Smart Contracts" (PhDs and MSc program in Informatics)
    • Teaching assistant of Object Oriented Programming (BSc program in Informatics)
  • 2015
    • Teaching assistant of Security Foundations (MSc program in Informatics)
    • Teaching assistant of Object Oriented Programming (BSc program in Informatics)
  • 2014
    • Teaching assistant of Security Foundations (MSc program in Informatics)
    • Teacher of Informatics for entrepreneurs of local companies
    • Teaching assistant of Object Oriented Programming (BSc program in Informatics)
  • 2013
    • Teaching assistant of Object Oriented Programming (BSc program in Informatics)


Software
  • Research projects
    • Bitcoin OP_RETURN Tool - A tool for analysing OP_RETURN metadata from the Bitcoin blockchain
      Authors: Livio Pompianu
    • Contract-oriented middleware - A Java middleware for contract-oriented applications
      Authors: Sebastian Podda, Livio Pompianu
      Other contributors: Nicola Atzei, Stefano Lande

  • Final projects for BSc/MSc exams
    • Voronoi Clarke & Wright Algorithm - Operational Research - MSc 
      A modified version of Clarke and Wright Algorithm using the Voronoi tessellation. 
      Authors: Simone Barbieri, Andrea Loddo, Emanuele Mameli, Alessandro Muntoni, Livio Pompianu
    • Convex Hull 3D - Algorithms and Data Structures 2 - MSc
      It implements a Convex Hull of a set of points in a 3D space.
      Authors: Livio Pompianu
    • BlueBlueRunning - Operating System 2 - MSc
      An Android application which tracks user’s running training. Users training can be either saved locally (in .GPX format) or shared with Google Spreadsheet, Google Drive, Google Maps and Google Earth.
      Authors: Simone Barbieri, Andrea Loddo, Emanuele Mameli, Alessandro Muntoni, Livio Pompianu
    • Shooter Pacman - Operating System 1 - BSc
      A version of the famous videogame Pacman, in which Pacman and the ghost can shoot.
      Authors: Livio Pompianu

Participation to conferences

  • WTSC 2017 - 1st Workshop on Trusted Smart Contracts, Sliema, Malta
  • BW 2017 - 4th Workshop on Bitcoin and Blockchain research, Sliema, Malta
  • FACS 201512th International Conference on Formal Aspects of Component Software, Niteròi/Rio de Janeiro, Brasil 
  • IIR 2015 - 6th Italian Information Retrieval Workshop, Cagliari, Italy

PhD courses
  • 2015, 30 June-15 July - Cagliari, IT
    • Emilio TuostoDistributed applications with automata and choreographies
  • 2015, 7-11 April - Cagliari, IT