Dipartimento di Informatica

Insegnamenti

• Agenti Intelligenti (MFN1348)
  Corso di laurea magistrale in Informatica
• Modellazione di Dati e Processi Aziendali (INF0104)
  Corso di laurea magistrale in Informatica
• 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

Temi di ricerca

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.

 

Gruppi di ricerca

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

• Didattica dell'Informatica
• Rappresentazione della conoscenza, ragionamento automatico, logica e ontologie
• Ricerca sull'Intelligenza Artificiale @ Dipartimento di Informatica
• Social Computing

Progetti di ricerca

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

Attività in agenda

Consulta la mia agenda

Organi

• 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)

Ricevimento studenti

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.