Members‎ > ‎

Nicola Atzei

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

Email: atzeinicola (at) unica (dot) it


Research Interests

Programming languages, formal methods, blockchain technologies, smart contracts.


Projects


Publications


Conferences and Workshops

  • ITASEC 2017 - Italian Conference on CyberSecurity, 17-20 January, Venice, IT
  • FORTE 2016 – the 36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems, 6-9 June, Heraklion, GR
  • ICE 2016 -9th Interaction and Concurrency Experience,  8-9 June, Heraklion, GR


PhD Activities

    PhD Schools

    PhD Courses/Seminars

  • Alceste Scalas - Lightweight session programming in Scala, 7th June '16
  • Andrea Bracciali - Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods, 22th July '16
  • Michele Marchesi - Ritorno al futuro: Smalltalk, un linguaggio per modellistica e simulazione, 13th December '16
  • Francesco Usai - Scala in practice, 17th December '16


Teaching Activities

  • 2016/17 - Teaching assistant of Object-Oriented Programming (BSc program in Informatics)
  • 2016/17 - Teaching assistant of Security Foundations (MSc program in Informatics) - Ethereum Lab
  • 2015/16 - Teaching assistant of Security Foundations (MSc program in Informatics) - CO2 lab
  • 2015/16 - Seminar: "Incentives for Smart Contracts", part of this seminars series (PhDs and MSc program in Informatics)
  • 2015/16 - Seminar: "Ethereum in Depth" with Tiziana Cimoli, part of this seminars series (PhDs and MSc program in Informatics)

    Ethereum Lab

  • Lecture 1 - Smart Contracts in Ethereum (slides)
  • Lecture 2 - Solidity (slides)
  • Lecture 3 - Web3 Interface (slides)

    CO2 Lab

  • Lecture 1 - A contract-oriented middleware (slides)
  • Lecture 2 - CO2 honesty checker (slides)

Ċ
Nicola Atzei,
Apr 28, 2017, 1:38 AM
Ċ
Nicola Atzei,
Apr 28, 2017, 1:38 AM
Ċ
Nicola Atzei,
Apr 28, 2017, 1:38 AM
Ċ
Nicola Atzei,
Apr 28, 2017, 1:38 AM
Ċ
Nicola Atzei,
Apr 28, 2017, 1:38 AM