ERC Consolidator Grant 2020 ARTIST: Automated Reasoning with Theories and Induction for Software Technologies
Basic principles of Challenge-Based Learning (CBL)
Healthy lifestyle #1 - Allenamento mentale
SuXr: University students for refugees. A series of training sessions