Paola GIANNINI Full Professor, Università del Piemonte Orientale Computer Science Institute, Dipartimento per lo Sviluppo Sostenibile e la Transizione Ecologica (DiSSTE)), Complesso S. Giuseppe, Pz. S. Eusebio 5 - 13100 Vercelli, Italy E-mail: paola.giannini@uniupo.it

RESEARCH

• General research interests in programming languages, type systems and system modelling. In particular:
  • Behavioural type systems
  • Substructural type system for object oriented languages
  • Type-based program verification, analysis, and transformation
  • Dynamic Languages
  • Dynamic object re-classification
  • Automatic type inference
  • Publications:
    • Google scholar
    • Dblp
    • "Chronological Overview"
  • Projects:
    • PRIN 2020TL3X8X: (2022/6/1 - 2025/5/31) Typeful Language Adaptation for Dynamic, Interacting and Evolving Systems (T-LADIES)
    • EC-COST Action CA20111: (2021/11/10 - 2025/10/10) EUProofNet: European Research Network on Formal Proofs
    • (Some) concluded:
    • EC-COST Action CA15123 (2016/02/21 - 2020/03/20) EUTypes: The European research network on types for programming and verification
    • ICT COST Action IC1405 (30/04/2015 - 29/04/2019) Reversible Computation - Extending Horizons of Computing
    CINA , BioBITs
  • Recent PC member:
    • ICSOFT 2024, MODELSWARD 2024, COORDINATION 2024, ITRS 2024, PPDP 2024
    • ICSOFT 2023, MODELSWARD 2023, PLACES 2023, ESSE 2023
    • ICSOFT 2022, MODELSWARD 2022, EXPRESS/SOS 2022, UNSOUND 2022
    • ICSOFT 2021, DATA 2021, MODELSWARD 2021, EXPRESS/SOS 2021
    • ICSOFT 2020, DATA 2020, MODELSWARD 2020, ICTAC 2020
    • ICSOFT 2019, DATA 2019, MODELSWARD 2019, BEAT 2019, ICTCS 2019
    • ICSOFT 2018, DATA 2018, MODELSWARD 2018, SAC 2018, ICTCS 2018
    • ICSOFT 2017, DATA 2017, MODELSWARD 2017, OOPS 2017 at SAC 2017,DSL 2017 at SPLASH 2017
  • Editorial Board:
    • International Journal of Computer & Software Engineering
  • Steering Committees
    • CS2Bio, Workshop on Interactions between Computer Science and Biology

  My products as a STUDENT (recently graduated) in PSYCOLOGY from the University of Torino (italian only):

  • Elaborato finale: "Comprensione e produzione dell'ironia in relazione allo sviluppo della Teoria della Mente"
  • Tesina di Pedagogia: "Apprendistato alla verità nell'era digitale: le proposte di Gardner e di Morin"
  [an error occurred while processing this directive]