Il gruppo di Informatica Quantitativa (InfQ) è costituito da ricercatori che svolgono la loro attività nell'ambito delle tecnologie dell'informazione, con interesse e competenze specifiche verso la caratterizzazione quantitativa dei sistemi informatici, tramite metodi analitici, simulativi e sperimentali.

I membri del gruppo InfQ sono interessati sia agli aspetti metodologici di tale caratterizzazione quantitativa sia alle implicazioni progettuali, predittive e di diagnosi che essa può avere nella costruzione e conduzione di sistemi informatici, o, più in generale, di sistemi dinamici  “digital based”.

InfQ intende quindi essere un luogo dove le elaborazioni fondazionali e teoriche svolte nell'area della modellazione (matematica e statistica) e dei linguaggi si intersecano con le problematiche di specifici domini applicativi dell'informatica, come ad es. le Architetture Hardware e Software, i Sistemi distribuiti e Web based, i Data Base, l'Ingegneria del software, etc.

Oltre allo sviluppo di metodologie di modellazione e di analisi quantitativa, e alla loro applicazione a “problemi reali” di specifici domini applicativi, InfQ promuove anche lo sviluppo di strumenti automatizzati mirati a facilitare l'applicazione di tali metodologie alla soluzione di problemi.

Gli aderenti ad InfQ si riuniscono annualmente per dibattere su argomenti di interesse per la comunità dando particolare attenzione alla formazione dei giovani che si affacciano al mondo dell'ICT, promuovendo la diffusione delle competenze nella caratterizzazione quantitativa dei sistemi informatici.

L’attività del gruppo si articolerà principalmente in momenti di confronto e discussione incentrati sugli aspetti rilevanti della modellazione, nella sua generalità, e nelle relative applicazioni favorendo lo scambio interdisciplinare di informazioni metodologiche e tecniche ad ampio spettro.