Ricerca Settori DisciplinariInformatica

Informatica

Faculty staff

• Elena Barcucci
• Andrea Bondavalli
• Antonio Bernini
• Stefano Bilotta
• Andrea Ceccarelli
• Luca Ferrari
• Andrea Frosini
• Paolo Lollini
• Elisa Pergola

Post-docs

• Muhammad Atif

PhD Students

• Michela Ascolese
• Corentin Henriet
• Fahad Ahmed Khokhar
• Marzieh Kordi
• Francesco Mariotti
• Tommaso Puccetti

Research topics

 

Biomedical Applications

• Graph-theoretical and neural networks tools for the analysis of neurodegenerative diseases.
• Computational models for mental disorders.

Frosini, Pergola

 

Design Solutions for Resilient, Safety-Critical, Secure Systems

• Design methodologies and techniques for safety critical systems, embedded real-time systems, cyber physical systems, systems of systems, crisis management systems.
• Fault tolerant mechanisms and architectures.

Bondavalli, Ceccarelli, Lollini

 

Discrete Geometry and Graph Theory

• Inverse problems on hypergraphs, null labeling problem.
• Plane tilings, polyominoes and floorplan partitions.
• Temporal graphs.

Frosini, Pergola

 

Discrete Mathematics in Computer Science

• Enumerative, algebraic and bijective combinatorics.
• Combinatorics of ordered structures and lattices.
• Discrete algorithms.

Barcucci, Bernini, Bilotta, Ferrari, Frosini, Pergola

 

Formal Languages, Codes and Automata

• Nonoverlapping codes.
• Gray codes and exhaustive generation of combinatorial structures.
• Random generation of combinatorial structures.

Barcucci, Bernini, Bilotta, Ferrari

 

Machine Learning in Critical Systems.

• Machine learning and artificial intelligence techniques in safety-critical systems (e.g., in autonomous driving systems and applications).
• Anomaly detection solutions for secure, dependable, dynamic and evolving systems.
• Anomaly-based intrusion detection techniques.

Bondavalli, Ceccarelli, Lollini

 

Quantitative Assessment Methodologies and Techniques for Dependability, Security and Quality of Service Analysis.

• Model-Driven-Engineering approaches for system’s validation.
• Stochastic model-based approaches for safety and security quantitative analysis.
• Risk assessment techniques in critical domains (e.g. railway, industrial automation control systems).
• Experimental evaluation approaches and testing for safety-critical systems.

Bondavalli, Ceccarelli, Lollini

 

Smart City Services

• Traffic flow theory.
• Traffic model reconstruction.
• Traffic emission analysis.

Bernini, Bilotta

Former members and frequent collaborators

• Miranda Bellezza
• Mathilde Bouvel
• Lapo Cioni
• Giulio Cerbai
• Niccolò Di Marco
• Azzurra di Palma
• Renzo Pinzani (professore emerito)
• Simone Rinaldi
• See list of collaborators

Projects

INdAM – GNCS Project “Strutture discrete in informatica: permutazioni, parking functions, linguaggi formali, ipergrafi”.

See projects

Seminars

Seminari di Combinatoria

News page (including seminars’ announcements) of the Resilient and Computing lab: 

Links

Resilient and Computing Lab