Topic | People | Description |
---|---|---|
Static Analysis |
Mila Dalla Preda
Roberto Giacobazzi Isabella Mastroeni Nicola Fausto Spoto |
Study of techniques for the static analysis of programming languages. Inference of properties of the heap memory used by programs. Inference of security properties for information manipulated by computer programs. |
Quantitative static analysis |
Alessandra Di Pierro
|
Study of formal methods for quantitative analysis of programs. Extension of classical program analysis techniques (data-flow, control-flow, abstract interpretation,type systems)to probabilistic and speculative analysis for program optimisation and transformation. |
Verification of wireless network protocols |
Massimo Merro
|
Semantics-based and model-checking techniques for the verification of wireless network protocols |
******** CSS e script comuni siti DOL - frase 9957 ********p>