Ricerca

Informazioni sul software Joomla!


windows-azure

Lunedì 16/12 si terrà a nell’aula B1 un seminario informativo circa il nuovo Horizon2020
Relatori:
Roberto Di Gioacchino
Irene Liverani
Organizzato in collaborazione fra Dibris e Diten - Partecipazione libera
Temi affrontati:
  • Pilastri di ricerca
  • Tipologia di proposte progettuali
  • Proprietà intellettuale
  • Costi adducibili
  • Analisi dei cambiamenti rispetto ai precedenti programmi di finanziamenti in ambito europeo
Data:
Lunedì 16 Dicembre, ore 09:00
Luogo:
DIBRIS - Via Opera Pia 13, Aula B1

Le attività di ricerca del DIBRIS sono svolte da docenti, assegnisti, dottorandi, collaboratori esterni e personale tecnico. Le attività di ricerca si inquadrano nell'ambito di aree scientifiche di ampio respiro che caratterizzano la matrice culturale e sono presenti nella denominazione del dipartimento stesso: Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi.

Il DIBRIS è coinvolto in progetti di ricerca promossi e finanziati primariamente dalla Commissione Europea, da ministeri italiani e da industrie private. Sono attive collaborazioni con enti di ricerca e aziende a livello nazionale e internazionale.

Inoltre il DIBRIS partecipa attivamente a tre Centri interuniversitari di ricerca, ISME, CIPI e RASES

Le principali linee di ricerca attualmente seguite dai ricercatori del DIBRIS sono:

Intelligenza Artificiale e Sistemi Multi-agente (AIMS)

Data Science and Engineering (DSE)

Human Computer Interaction (HCI)

Robotics and Autonomous Systems (RAS)

Science and Technology for Health (STH)

Secure and Reliable Systems (SRS)

Systems Engineering (SE)

art of Takoshi Suigushi

Abstract:
The goal of AIMS is to advance the state of the art in Computer Science and Engineering with a main focus on Artificial Intelligence Techniques, Multi Agent Systems (MASs), and their applications. Our research deals with the design and the implementation of innovative computer-assisted methods to solve key engineering problems in fields such as Robotics and Autonomous Systems, Mechanical Design, Verification and Reasoning, Software and Cyber-Physical Systems with an emphasis on applicable logic-based methods. We are also interested in modeling, verification, rapid prototyping, and development of tools for MASs, mainly based on computational logic and declarative agent languages and technologies.

Sub-lines:

  • ● Automated reasoning: planning, scheduling, design and configuration
  • ● Automated software engineering: analysis of software requirements and test pattern generation
  • ● Intelligent Systems for Big Data: intelligent data integration, repair and consistent query answering
  • ● Formal methods: simulation and verification for cyber-physical systems, verification-enhanced learning
  • ● Multi-agent systems: engineering and relationships between agents and semantic web technologies

ERC classification:
PE6_7 Artificial Intelligence, Intelligent and Multi-agent Systems

Keywords: Automated Reasoning; Automated Software Engineering; Intelligent Systems for Big Data; Formal Methods; Multi-agent Systems;

Contact Person: Armando Tacchella

You are here: Home Dibris Ricerca

This site uses cookies.