Research

I am Assistant Professor  in Computer Science at University of Milan-Bicocca, and research collaborator at CRISP Research Centre, Italy. My research interests include:

Knowledge Discovery: Data Quality and Cleaning, Business Intelligence, Graph Databases, Machine Learning.
Artificial Intelligence: domain-independent planning, temporal continuous planning, planning in mixed discrete-continuous domains, planning in hybrid domains.
Formal Verification: model checking techniques, HW/SW verification, control theory, graph algorithms.
(Co)-Developed Tools: UPMurphi, a tool for  linear and nonlinear continuous PDDL+ models with processes and events. It also handles huge state spaces through a disk-based algorithm, while the SUPMurphi extension  implements the strong planning algorithm for dealing with non-determinism.

I’m also interested in putting my research into practice, take a look to Research Projects section for further details.

2017 events I’m involved in

  • ACM-SAC-18 Program Committee
  • AAAI-18 Program Committee
  • IJCAI-17 Program Committee
  • ICAPS-17 Program Committee
  • GCP-17 Program Committee
  • IJCAI-17 Workshops Program Committee
  • AAAI-17 (Student Program PC member)
  • ACM SAC-SWA 2017 (PC)
  • IMMM-17 Program Committee
  • DATA 2017 (PC)
  • BI&Big Data Analytics-16/17 (lecturer)

Current Positions

  • present2016

    Assistant Professor

    University of Milan-Bicocca. Topics: Knowledge Discovery. Artificial Intelligence, AI Planning

  • Present2010

    Research Collaboration

    CRISP Research Centre, Milan, Italy. Putting research techinques and tools in real-life industrial settings

Employment History

  • present2011

    PostDoc

    University of Milan-Bicocca. Topics: Knowledge Discovery. Artificial Intelligence, AI Planning

  • 8/20167/2015

    Visiting Researcher

    King's College London, UK.

Education

  • PhD2012

    PhD in Computer Science and Application

    Dept of Computer Science, Univ. of L’Aquila, Italy. Advisors: prof. Giuseppe Della Penna and Daniele Magazzeni. Topics: AI Planning, Model Checking and Data Quality.

  • MD2008

    Master Degree in Computer Science and Application

    Univ. of L’Aquila, Italy. Advisor: prof. Giuseppe Della Penan. Topics: AI Planning Control Theory and Model Checking. Maximum score summa cum laude.

Teaching

  • present2010

    Lecturer

    University of Milano-Bicocca. Topics: Python, SQL, Data Quality, Business Intelligence, GraphDatabases, NoSQL.

  • present2010

    Teaching Assist.

    University of Milano-Bicocca, Italy. Topics: Python, Database, SQL

For further details, see my teaching page

Reviewer for

Program Committee Memberships

  • (IJCAI-17) Workshops Program Committee for 25th International Joint Conference on Artificial Intelligence

  • (AAAI-17 Student Abstract) The Thirty-First AAAI Conference on Artificial Intelligence

  • (ECAI-16) The 22nd European Conference on Artificial Intelligence, The Hague, Holland

  • (AAAI-16 Student Abstract) The Thirtieth AAAI Conference on Artificial Intelligence

  • (IJCAI-16) The 25th International Joint Conference on Artificial Intelligence, New York City

  • (ICAPS-16) The 26th International Conference on Automated Planning and Scheduling, London, UK

  • (MOCHAP) The ICAPS Workshop on Model Checking and Automated Planning (2014) and (2015)

  • (ACM SAC) The 30th ACM/SIGAPP Symposium On Applied Computing 2015 and 2016, Semantic Web and Application Track

  • (IMMM) The Fourth International Conference on Advances in Information Mining and Management 2014 and 2015

  • The Italian Planning and Scheduling Workshop @AIxIA   2013 and 2015

  • (DATA) Data Technology and Application  Conference20142015, and 2016

  • (KomIS) The special session on “Knowledge Discovery meets Information Systems”, 2014 and 2015