ComputerScience@Univaq > Ricerca

La ricerca nell’ambito dell’informatica si articola su diversi domini che spaziano dall’ingegneria del software, all’intelligenza artificiale, alla bioinformatica ecc. Tali domini presentano delle sfide specifiche e applicano metodologie dedicate.

I gruppi di ricerca in Informatica dell’Università degli Studi dell’Aquila sono attivi sui seguenti domini.

ASS@AQ (Automated Software Synthesis)

Obiettivi

Formalizzazione, definizione ed implementazione di metodi e strumenti automatizzati per lo sviluppo di sistemi distribuiti orientati al riuso.

Applicazioni

Sistemi orientati ai servizi, Architetture Microservices, Vehicles, Internet of Things, Smart Cities, Smart Mobility and Tourism, Coordinamento di traffico urbano, eHealth

Metodologie

Automi e Linguaggi, Logiche Temporali, Ragionamento Automatizzato, Model Checking, Model Elicitation, Model Transformation, Sintesi di Codice, Sintesi Architetturale, Sintesi di Mediatori, Sintesi di Connettori, Sintesi di Adattatori, Petri Nets, Orchestrazione di Servizi, Coreografia di Servizi, Architetture Software, Mobile Computing.

Progetti

H2020 EU CHOReVOLUTION (www.chorevolution.eu), FP7 EU CHOReOS (www.choreos.eu), FP7 EU CONNECT (www.connect-forever.eu), INCIPICT (incipict.univaq.it) FSER POR Connect PA, Prin GAUSS, Prin IDEAS

Gruppo di Ricerca

Paola Inverardi, Massimo Tivoli, Marco Autili, Amleto Di Salle, Alexander Perucci, Claudio Pompilio, Francesco Gallo, Tala Najem, Lorenzo De Lauretis

AAAI@AQ (Artificial Agents and Artificial Intelligence)

Obiettivi

Formalizzazione, definizione e implementazione di Sistemi Autonomi Intelligenti (Intelligent Autonomous Systems), inclusi i Robot. Definizione e implementazione di Macchine Etiche (Machine Ethics).

Applicazioni

Cyber-Physical Systems, Internet of Things, Cognitive Robotics, Virtual Reality, Self-driving Vehicles, eHealth, Digital Forensics, Cybersecurity, etc

Metodologie

Computation Logic, Automated Reasoning, Cloud Computing, Neural Networks, Ontologies.

Progetti

  • Mitra (eHealth)
  • DigForASP (Digital Forensic)
  • M-Eth (Machine Ethics)

Gruppo di Ricerca

ACGT@AQ (Algorithms Complexity and Game Theory)

Obiettivi

Fornisce una comprensione matematica delle questioni fondamentali dell’informatica. Determina la difficoltà intrinseca dei problemi computazionali, classifica i problemi in base ad essi e progetta e analizza algoritmi che utilizzano le risorse computazionali nel modo più efficiente possibile. Studia l’esistenza e le prestazioni di risultati stabili nei giochi cooperativi e non cooperativi.

Applicazioni

Fault-tolerance, connettività and shortest paths nelle reti; social networks; sistemi multi-agent; pricing problems e auctions; formazione di gruppi; reti cooperative e non-cooperative, envy-freeness e fairness in items assignment, reti mobile, etc.

Progetti

COST 293: Graphs and algorithms in communication networks, PRIN COGENT, PRIN ARS-TechnoMedia, GUNPOWDER.

Metodologie

Algoritmi di approssimazione, combinatorica, teoria della complessità, ottimizzazione, teoria dei giochi ed economia computazionale, teoria dei grafi, stabilità in sistemi multi-agente, scienza computazionale.

Gruppo di Ricerca

Guido Proietti, Michele Flammini, Gianpiero Monaco, Luca Forlizzi, Giovanna Melideo, Cosimo Vinci, Giacomo Scornavacca.

SEAlab Quality (Software Engineering and Architecture Lab - Quality group)

Obiettivi

Modellazione ed analisi di quality properties di sistemi software, come performance, reliability, cost, etc.

Applicazioni

Microservices, Sistemi basati su Componenti, Wireless Sensor Networks, eHealth

Progetti

ERMES, MEGAMART2, CRAFTERS, PRESTO, EOARD, PACO, VISION

Metodologie

Model-Driven Engineering, Model Transformations, Patterns and Antipatterns, Model Refactoring, Multi-optimization, Meta-heuristics, Queueing Networks, Stochastic Petri Nets, Reliability models

Gruppo di Ricerca

Vittorio Cortellessa, Antinisca Di Marco, Davide Arcelli, Romina Eramo, Daniele Di Pompeo, Michele Tucci, Luca Traini

SEAlab IoT (Software Engineering and Architecture Lab - Architecting IoT group)

Obiettivi

Modellazione ed Analisi di applicazioni basate su Internet of Things.

Applicazioni

Internet of Things, Smart Cities, Smart Mobility and Tourism, Cultural Heritage, Urban Security, Situational Awareness

Progetti

UFFIZI, VASARI, CRAFTERS

Metodologie

Model-Driven Engineering, Model Transformations, Iot Patterns, Big Data Analytics, Energy consumption, Machine Learning, Wireless Sensor Networks

Gruppo di Ricerca

Henry Muccini, Mohammad Sharaf, Mirco Franzago, Mahyar Tourchi, Karthik Vaidyanathan, Smrithi Rekha, Gianluca Scatena, Francesco Tarquini