MENU

Informatica

Faculty staff

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

 

Ultimo aggiornamento

08.05.2024

Cookie

I cookie di questo sito servono al suo corretto funzionamento e non raccolgono alcuna tua informazione personale. Se navighi su di esso accetti la loro presenza.  Maggiori informazioni