PhD in Computer Science

Courses

• Agenti Intelligenti (MFN1348)
  Corso di laurea magistrale in Informatica
• Modellazione di Dati e Processi Aziendali (INF0104)
  Corso di laurea magistrale in Informatica
• Modellazione di processi amministrativi e compliance normativa (GIU0738)
  Corsi di Studio del Dipartimento di Giurisprudenza
• Reasoning about ontologies, causality, preferences, for explainability, accountability and compliance (INF01)
  PhD in Computer Science
• Sviluppo delle Applicazioni Software (MFN0606)
  Corso di laurea in Informatica

Research topics

L’attività di ricerca di Matteo Baldoni si è concentrata principalmente nell’area della logica computazionale. Inizialmente occupandosi di estensioni modali e non-monotone della programmazione logica, tavole semantiche e decidibilità per logiche multimodali normali, e ragionamento su azioni e cambiamento.
Più di recentemente dedicandosi all’applicazione della logica computazionale per la programmazione di agenti, la rappresentazione della conoscenza e, in particolare, la specifica, la verifica ed il ragionamento su protocolli di comunicazione per agenti e servizi web. Altre tematiche di interesse sono l’elearning e la personalizzazione ottenuta mediante tecniche di ragionamento nell’ambito del web semantico. Passati interessi di ricerca hanno riguardato il riconoscimento di immagini mediante estrazioni di feature frattali.

 

Research groups

• AI research @ Dipartimento di Informatica
• Knowledge representation, Automated Reasoning, Logic and ontologies
• Social Computing (SoCom)

• AI research @ Dipartimento di Informatica
• Didattica dell'Informatica
• Rappresentazione della conoscenza, ragionamento automatico, logica e ontologie
• Social Computing

Research projects

• SMAILE: Simple Methods for Artificial Intelligence Learning and Education
• PININ - PIemuNt chèINa

Activities in agenda

See my calendar

Academic bodies

• Consiglio di Dipartimento

• Comitato di Indirizzo
• Commissione Monitoraggio e Riesame LT (ex Gruppo del Riesame L31, ex sottogruppo Riesame LT - maggio 2017 Commissione Monitoraggio e Riesame)
• Consiglio di corso di Laurea e Laurea Magistrale in Informatica
• Redazione Web

• Commissione Ammissioni, tutorato in ingresso, Piani di Studio, Passaggi e Trasferimenti (Laurea Magistrale DM270)
• Commissione Monitoraggio e Riesame LM (ex Gruppo del Riesame LM18, ex sottogruppo Riesame LM - maggio 2017 Commissione Monitoraggio e Riesame)

Office hours

Inviare una mail per avere un appuntamento presso l'ufficio 18, area nuova, del Dipartimento di Informatica, Università degli Studi di Torino, entra via Pessinetto 12, Torino.