Luca Paolini

About

Luca Paolini is an Associate Professor at the University of Turin, Italy. His research areas focus on variability modules, static analysis, and verification of featured transition systems. He has contributed significantly to the field through recent articles on topics such as logical characterizations of attributed feature models and primitive recursive completeness. His work also addresses the fixed point problem in reversible languages.