MENU
32

Informatica

Research topics

 

Complex network analysis and algorithms for large graphs

Crescenzi

 

Computer science education

Crescenzi

 

Discrete tomography and graph theory

Barcucci, Frosini

 

Enumerative and algebraic combinatorics

Barcucci, Bernini, Ferrari, Pergola

 

Formal languages ​​and code theory

Barcucci, Bernini, Ferrari, Grazzini, Pergola

 

Neural network applications in neurobiology

Frosini, Pergola

 

Random and exhaustive generation algorithms for discrete structures

Barcucci, Grazzini, Pergola

 

System design, validation and assessment

Bondavalli, Lollini

 

  • Architectures for dependable, secure, real-time systems
  • Monitoring and diagnosis
  • Robustness and security testing
  • Security, intrusion detection/tolerance
  • Stochastic modelling and evaluation
  • Threats analysis and validation

 

Faculty staff

 

 

Other frequent collaborators

 

 

Grants and projects

 

 

Seminars

 

 

PhD Courses

Ultimo aggiornamento

21.01.2021

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