Chi siamo

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

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 nello sviluppo e nella gestione di servizi e sistemi informatici e di infrastrutture tecnologiche.

La comunità di InfQ è composta da accademici, studiosi e professionisti specializzati in questi ambiti, provenienti da università e centri di ricerca italiani.

Missione e attività

InfQ intende essere un luogo dove le elaborazioni fondazionali e teoriche svolte nell'area della modellazione (matematica, statistica o attraverso apprendimento automatico) e dei linguaggi si intersecano con le problematiche di specifici domini applicativi dell'informatica, come, ad esempio, le architetture hardware e software, le reti di calcolatori, i sistemi distribuiti, virtualizzati, mobili e web based, i database, l'ingegneria del software e dei servizi, e altri domini in cui gli studi e la pratica modellistica trovano applicazione.

Oltre allo sviluppo di metodologie di modellazione e di analisi quantitativa, e alla loro applicazione a problemi reali in specifici domini applicativi, InfQ promuove anche lo sviluppo di strumenti automatizzati mirati a facilitare l'applicazione di tali metodologie alla soluzione di problemi. Inoltre propone e sviluppa iniziative per la diffusione di tali concetti, sia in contesti accademici, attraverso corsi di studio ed insegnamenti mirati a tali discipline, che in contesti più ampi, con l’obiettivo in tal caso di sensibilizzare i destinatari dell’iniziativa (manager, decisori, consumatori) alle tematiche e problematiche trattate, nonchè per fornire supporto nella risoluzione di tali problematiche attraverso metodologie, tecniche e strumenti adeguati, favorendo lo scambio interdisciplinare di informazioni metodologiche e tecniche ad ampio spettro.

Gli aderenti ad InfQ si riuniscono periodicamente per discutere 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 conoscenze nella caratterizzazione quantitativa dei sistemi informatici.

Dove siamo

  • Consiglio Nazionale delle Ricerche - IIT
  • Gran Sasso Science Institute
  • Politecnico di Milano
  • Politecnico di Torino
  • Sapienza Università di Roma
  • Scuola IMT Alti Studi Lucca
  • Scuola Superiore Sant'Anna
  • Università "Ca' Foscari" Venezia
  • Università Cattolica del Sacro Cuore (Brescia)
  • Università degli Studi dell'Aquila
  • Università degli Studi della Campania "Luigi Vanvitelli"
  • Università degli Studi di Bologna
  • Università degli Studi di Firenze
  • Università degli Studi di Messina
  • Università degli Studi di Modena e Reggio Emilia
  • Università degli Studi di Napoli "Federico II"
  • Università degli Studi di Parma
  • Università degli Studi di Pavia
  • Università degli Studi di Pisa
  • Università degli Studi di Roma "Tor Vergata"
  • Università degli Studi di Torino
  • Università del Piemonte Orientale

Tra i nostri temi di ricerca

  1. Modellazione
  2. Simulazione
  3. Efficienza
  4. Resilienza
  5. Sostenibilità
  6. Quality of Service
  7. Quality of Experience
  8. Service Level Agreements
  9. Reliability
  10. Availability
  11. Dependability
  12. Safety
  13. Mantainability
  14. Survivability
  15. Scalability
  16. Performance evaluation
  17. Security
  18. Trustworthiness
  19. Energy efficiency