Ricerca Settori DisciplinariInformatica

Informatica

Faculty staff

• Muhammad Atif
• Andrea Bondavalli
• Antonio Bernini
• Stefano Bilotta
• Andrea Ceccarelli
• Luca Ferrari
• Francesco Flammini
• Andrea Frosini
• Paolo Lollini
• Elisa Pergola
• Tommaso Zoppi

Post-docs

• Tommaso Puccetti

PhD Students

• Ziyouddinov Bakhauddin
• Manuel Drago
• Marzieh Kordi

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, Flammini, Lollini, Zoppi

 

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.

Atif, Bondavalli, Ceccarelli, Lollini, Zoppi

 

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, Zoppi

 

Smart City Services

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

Bernini, Bilotta

Former members and frequent collaborators

• Elena Barcucci
• Miranda Bellezza
• Pierfrancesco Bellini
• Mathilde Bouvel
• Lapo Cioni
• Giulio Cerbai
• Niccolò Di Marco
• Azzurra di Palma
• Marco Fanfani
• Paolo Nesi
• Gianni Pantaleo
• Renzo Pinzani (professore emerito)
• Simone Rinaldi
• See list of collaborators

Projects

• Intesa San Paolo project: "SAFESLOT: una slot-machine per l’assessment delle distorsioni cognitive legate al gioco d’azzardo"
• Interreg Euro-MED Programme, project "TOURISMO: TOURism Innovative and Sustainable Management of flOws"

See projects

Seminars

Seminari di Combinatoria

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

Links

Resilient and Computing Lab