I am Research Fellow (RTD-A)at DIBRIS, University of Genova.
I am also
- member of the Genoa Logic Group
- member of the MUR project (PRIN 2020TL3X8X) T-LADIES
- member of EC-COST Action (CA20111) EuroProofNet
Department of Computer Science, Bioengineering, Robotics and System Engineering
Via Dodecaneso 35, Genova, Italy
Email firstname dot surname at dibris dot unige dot it