Research on "Formal Methods in Computing"
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:
- Projects:
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:
Steering Committees
My products as a STUDENT (recently graduated) in PSYCOLOGY from the University of Torino (italian only):
|