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)
  • 2015/16 - Teaching assistant of Security Foundations (MSc program in Informatics)
  • 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)
Comments