Research on "Formal Methods in Computing"

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 concurrency theory. In particular:
- Behavioural type systems
- Substructural type system for functional and object oriented languages
- Type-based program verification, analysis, and transformation
- Dynamic Languages
- Dynamic object re-classification (Java-like languages)
- Automatic type inference
Publications:
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
Recent PC member:
Editorial Board:
- International Journal of Computer & Software Engineering
Steering Committees
- CS2Bio, Workshop on Interactions between Computer Science and Biology

My products as a STUDENT in PSYCOLOGY at the University of Torino. I graduated in 2014.

TEACHING (italian only)

[Computer Science Institute's HOME]


	Last update: March 14, 2022