Pietro Barbieri

Dottorando

Indirizzo Via Dodecaneso, 35 - 16146 Genova
Ufficio 309
E-mail
Corso di dottorato DOTTORATO DI RICERCA INFORMATICA E INGEGNERIA DEI SISTEMI/ COMPUTER SCIENCE AND SYSTEMS ENGINEERING
Ciclo di dottorato XXXV
Tutor(s) Elena Zucca

Publications

 

  • Davide Ancona, Pietro Barbieri, Elena Zucca. Enhanced Regular Corecursion for Data StreamsarXiv preprint arXiv:2108.00281
  • Pietro Barbieri, Francesco Dagnino, Elena Zucca. An inductive abstract semantics for coFJProceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs
  • Davide Ancona, Pietro Barbieri, Francesco Dagnino, and Elena Zucca. Sound Regular Corecursion in coFJ. In Robert Hirschfeld and Tobias Pape, editors, 34th European Conference on Object-Oriented Programming (ECOOP 2020), volume 166 of Leibniz International Proceedings in Informatics (LIPIcs), pages 1:1{1:28, Dagstuhl, Germany, 2020. Schloss Dagstuhl{Leibniz-Zentrum fur Informatik.
  • Pietro Barbieri, Francesco Dagnino, Elena Zucca, Davide Ancona (2019). Corecursive Featherweight Java Revisited. In Proceedings of the 20th Italian Conference on Theoretical Computer Science.

Research activity

My research activity mainly concerns programming languages semantics

Teaching activity

Academic Year 2021/2022

  • Programming Languages and Object-Oriented Programming (BSc in Computer Science, University of Genova)
  • Data Bases (BSc in Computer Science, University of Genova)

Academic Year 2020/2021

  • Programming Languages and Object-Oriented Programming (BSc in Computer Science, University of Genova)
  • Algorithms and Data Structures (BSc in Computer Science, University of Genova)

Academic Year 2019/2020

  • Programming Languages and Object-Oriented Programming (BSc in Computer Science, University of Genova)
  • Algorithms and Data Structures (BSc in Computer Science, University of Genova)

Sei qui: Home

Questo sito usa i cookie.