Automated static analysis

  1. Home
  2. Research
  3. Research areas
  4. Automated static analysis
Mila Dalla Preda
Associate Professor
Isabella Mastroeni
Associate Professor
Michele Pasqua
Temporary Assistant Professor
Nicola Fausto Spoto
Associate Professor
Research interests
Topic People Description
Static program analysis Mila Dalla Preda
Isabella Mastroeni
Michele Pasqua
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.

Activities

Research areas

Research groups

PhD Programmes

Research facilities

Share