Salta gli elementi di navigazione
banner
logo ridotto
logo-salomone
DIMAI Dipartimento di Matematica e Informatica 'Ulisse Dini'

Informatica

Pierluigi Crescenzi

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: 26-Lug-2017
Unifi Home Page

Inizio pagina