Ricerca Settori DisciplinariInformatica
Informatica
Research topics
Complex network analysis and algorithms for large graphs
Computer science education
Discrete tomography and graph theory
Barcucci, Frosini
Enumerative and algebraic combinatorics
Barcucci, Bernini, Ferrari, Pergola
Formal languages and code theory
Barcucci, Bernini, Ferrari, Pergola
Neural network applications in neurobiology
Frosini, Pergola
Random and exhaustive generation algorithms for discrete structures
Barcucci, 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