I graduated in Computer Science in Turin, Italy. I belong to the research groups of Interaction Models: Agents, Natural Language and Expression (University of Turin), Individual and Collective Reasoning (University of Luxembourg) and Machine Learning (City University London).
My bachelor thesis was about multiagent planning, my master thesis was about abstract argumentation. My PhD, under the supervision of Guido Boella and Artur Garcez, was on neural-symbolic integration applied to runtime verification, with applications to business-process modelling and multiagent planning.


Accepted Paper! Neural-Symbolic Monitoring and Adaptation(Perotti, d'Avila Garcez, Boella) will be presented at the International Joint Conference on Neural Networks (IJCNN_2015)

Accepted Paper! Runtime Verification Through Forward Chaining(Perotti, Boella, d'Avila Garcez) will be presented at the Runtime Verification conference (RV_2015)

Ph.D Thesis! (PDF)           Short Curriculum Vitae (PDF)           Skype: alan.perotti           LinkedIN: alan perotti