Francesco's profile picture

Hi, I'm Francesco.

I am a Computer Scientist specializing in neuro-symbolic AI, multi-agent systems, and epistemology. Currently, I am investigating the Computational Foundations of AI, with a particular focus on Understanding Decision Making.

A few things about me

Experience

Joint Researcher @ IBM Research

April 2020 - Today

Part of an IBM Watson Research Lab Group, led by Dr. Rossi, comprised of researchers from IBM and various universities. With this research group, we are analyzing well-known cognitive theories to define a general AI paradigm starting from cognitive theories such as the one popularized by D. Kahneman in his book Thinking Fast and Slow.


Assistant Professor @ New Mexico State University

August 2023 - August 2024

Structured and taught undergraduate and graduate courses at the Computer Science Department. Furthermore, I focused on research in neuro-symbolic AI, automated planning, multi-agent epistemic reasoning, and computational logic.

Courses

  • Applied Machine Learning I (CS 487/519)
  • Analysis of Algorithms (CS 570)
  • Parallel Programming (CS 491/521)
  • Python Programming I (CS 153/453)
  • C++ Programming (CS 151/451)


Adjunct Professor @ Saint Joseph’s University

January - July 2023

Structured and taught the undergraduate and graduate courses offered by the Decision & System Sciences curriculum at the Erivan K. Haub School of Business. Moreover, I focused on research in applied AI, neuro-symbolic AI, automated planning and computational logic.

Courses

  • Advanced Python Programming (DSS 770)
  • BIA: Concepts & Practices (DSS 315)
  • Advanced Python Programming (DSS 693)
  • Python Programming (DSS 615)


Adjunct Professor @ University of Parma

October 2022 - September 2023

Structured and taught the undergraduate course Typing in LaTeX, open to all the students of the University. The course was designed to help the students acquire the necessary capabilities to realize documents using the typesetting language LaTeX. The teaching was comprised of 24 hours (equivalent to 3 Italian credits) of frontal lectures and exercises. Finally, the evaluation was based on a project.

Courses

  • Typing in LaTeX


Research Fellowship @ ACMI S.P.A. & University of Parma

January 2021 - December 2022

Research Title: Artificial Intelligence for packaging production line.
Implemented an automated reasoning tool that makes use of innovative techniques (e.g., constraint programming, planning, etc.) to model production processes and that returns an optimized and safe plan that controls the robotic components in the production line.


Web Master @ New Mexico State University

August 2017 - May 2018

Migrated the website of the College of Arts and Sciences to a user-friendly platform to simplify the College’s staff work. After the migration, support and maintenance for the website was provided.


Research Assistant @ New Mexico State University

January - July 2017

Studied, under Prof. Enrico Pontelli, the design of an epistemic forward planner with particular attention to heuristics for the solving process and optimizations for the underlying knowledge representation.


Education

Joint Study @ IBM Watson Research Lab

April 2020 - Today

Part of an IBM Watson Research Lab Group, led by Dr. Rossi, comprised of researchers from IBM and various universities. With this research group, we are analyzing well-known cognitive theories to define a general AI paradigm starting from cognitive theories such as the one popularized by D. Kahneman in his book Thinking Fast and Slow.

  • Advisor: Francesca Rossi


Ph.D. in Computer Science @ University of Udine

November 2018 - October 2021

Ph.D. focused on formalizing and developing tools for planning in multi-agent scenarios involving higher-order knowledge or beliefs.

  • Award: Best Ph.D. Thesis Award by GULP, 2022
  • Research thesis title: Planning while Believing to Know
  • Advisors: Agostino Dovier, Alessandro Dal Palù, and Enrico Pontelli
  • Final Mark: cum Laude


Master's Degree in Computer Science @ New Mexico State University

January 2017 - May 2018

Master of Science program specializing in logic, declarative programming, automated planning, with a strong emphasis on producing research papers.


Bachelor’s Degree in Computer Science @ University of Parma

October 2013 - December 2016

Bachelor of Science program with an emphasis on theoretical computer science, logic, and foundational aspects of Artificial Intelligence, along with research fundamentals.


Scientific High School Diploma @ Liceo Scientifico G. Marconi

September 2008 - June 2013

Comprehensive program that provided a strong foundation in mathematics and helped me develop effective study skills.

  • Final Mark: 96/100


Projects & Events

Thinking Fast and Slow project webpage

  • research
  • artificial intelligence
  • data science
  • un
  • education

ongoing

The SOFAI project project whose aim is to advance AI by leveraging cognitive theories of how humans make decisions, with particular focus on the Thinking Fast and Slow theory of Daniel Kahneman. The project is led by IBM Research in collaboration with several academic partners.


Click the link icon in the top-right corner or Here to open the project website.

Epistemic Forward Planner

  • research
  • artificial intelligence
  • multi-agent
  • planning
  • epistemic
  • solver
  • planner

ongoing

This project implemets a solver, called EFP, designed following the imperative programming paradigm. In particular, the solver is fully developed in C++. EFP is a general and comprehensive epistemic forward solver that can solve problems defined in mA*. Moreover, thanks to the introduction of agents’ attitudes and other capabilities, the planner allows the users to tailor actions in whichever fashion they prefer without having to worry about tedious and intricate effects definitions.


Click the github icon in the top-right corner or Here to open the project repository.

SDG Dashboard website

  • research
  • artificial intelligence
  • hybrid
  • neuro-symbolic
  • ibm

ongoing

The SDG Dashboard is a collaborative data reporting and analytics platform for global business schools to share their best practice impacts on the United Nations Sustainable Development Goals (SDGs) and transform business education into a force for good.


Click the link icon in the top-right corner or Here to open the project website.

SYNERGY Workshop @ KR 2024

  • research
  • event
  • workshop
  • neuro-symbolic AI
  • robotics

November 2024

SYNERGY (Symbolic and Neuro-Symbolic Architectures for Intelligent Robotics Technology) is a workshop that aims at fostering in-depth discussions on Knowledge Representation (KR) and neuro-symbolic architectures with the goal of advancing intelligent robotics to new levels of sophistication. SYNERGY 2024 was held at the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024).


Click the link icon in the top-right corner or Here to open the event’s website.

Doctoral Consortium and School on Logic Programming @ ICLP/LPNMR 2024

  • research
  • event
  • logic programming
  • doctoral consortium
  • school

October 2024

The ICLP & LPNMR Doctoral Consortium (ICLP/LPNMR-DC 2024) and the Autumn School on Logic Programming have taken place during the 40th International Conference on Logic Programming (ICLP 2024) and the 17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024) in Dallas, Texas, US, on October 12-13, 2024.


Click the link icon in the top-right corner or Here to open the event’s website.

Doctoral Consortium @ ICLP 2023

  • research
  • event
  • logic programming
  • doctoral consortium
  • school

July 2023

The 19th Doctoral Consortium (DC) on Logic Programming was part of the 39th International Conference on Logic Programming (ICLP 2023). The DC provided students and early career researchers with the opportunity to present and discuss their research directions, obtain feedback from both peers and experts in the field, and participate in mentoring sessions on how to prepare for a research career. In particular, the DC hosted leaders in logic programming research, from academia and industry, that gave talks on their research areas and comment on the presented works, providing valuable insights for early career researchers.


Click the link icon in the top-right corner or Here to open the event’s website.

Resources

Supplementary Documentation for PRIMA 2024

  • research
  • multi-agent
  • planning
  • epistemic
  • supplementary
  • documentation
  • prima

September 2024

The following document contains supplementary information for the paper H-EFP: Bridging Efficiency in Multi-Agent Epistemic Planning with Heuristics submitted to The 25th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2024).


Click the pdf icon in the top-right corner or Here to view it.

My Ph.D. thesis titled Planning while Believing to Know

  • research
  • multi-agent
  • planning
  • epistemic
  • phd
  • thesis

October 2021

The following document contains my Ph.D. Thesis titled Planning while Believing to Know.


Click the pdf icon in the top-right corner or Here to view it.

My master thesis titled EFP and PG-EFP: Epistemic Forward Planners in Multi-Agent Domains

  • research
  • multi-agent
  • planning
  • epistemic
  • master
  • thesis

May 2018

The following document contains my Master of Science Thesis titled EFP and PG-EFP: Epistemic Forward Planners in Multi-Agent Domains.


Click the pdf icon in the top-right corner or Here to view it.

My bachelor thesis titled Load Distribution Analysis in an MPI Framework

  • research
  • mpi
  • cuda
  • segmentation
  • bachelor
  • thesis

December 2016

The following document contains my Master of Science Thesis titled Load Distribution Analysis in an MPI Framework. Unfortunately, this thesis is only available in Italian, sorry!


Click the pdf icon in the top-right corner or Here to view it.

My Curriculum Vitae

  • cv
  • resume
  • research
  • work
  • publications

Today

The following document contains my Curriculum Vitae.


Click the pdf icon in the top-right corner or Here to view it.

Publications