Mila Dalla Preda

Foto,  January 27, 2015
Temporary Professor
Department of
Computer Science
Academic sector
Ca' Vignal 2,  Floor 1,  Room 47
+39 045 802 7025
+39 045 802 7068
mila|dallapreda*univr|it <== Replace | with . and * with @ to have the right email address.
Personal web page
employed in different departments
  • Temporary Assistant Professor from 3/1/14 to 4/29/20 Department Computer Science
  • Research Scholarship Holders from 3/1/10 to 3/1/14 Department Computer Science
  • Research Scholarship Holders from 5/1/10 to 2/28/14 Department Computer Science
  • Technical Collaborator from 9/1/03 to 12/31/03 Department of Biotechnology [Department deactivate from 1/1/09. Il dipartimento è confluito nel nuovo Dipartimento di Biotecnologie]



Office Hours
Su appuntamento da concordare per mail

Modules in the last two academic years
Name Total credits E-lrng Teacher credits Modules offered by this teacher
Behavioural Sciences and Scientific Methodology  (2019/2020)   13  INFORMATICA

Gli insegnamenti degli anni accademici precedenti sono consultabili dal catalogo dell'offerta formativa, specificando Anno Accademico e Docente.

Research interests
Topic Description Research area
Static Analysis 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. Software and its engineering - Software organization and properties
Formal software and application security Development of models and analyses, based on abstract interpretation, for the security application verification and for security properties enforcement. Security and privacy - Software and application security
Code protection Development of formal techniques and tools for the protection of software. Security and privacy - Formal methods and theory of security
Program semantics Development of semantic models for characterizing security and analysis problems of programming languages Theory of computation - Semantics and reasoning
Code synthesis Study and development of techniques for the synthesis of code (or code transformers) from the specification of semantic code properties. Software and its engineering - Software creation and management

© 2002 - 2020  Verona University
Via dell'Artigliere 8, 37129 Verona  |  P. I.V.A. 01541040232  |  C. FISCALE 93009870234
Statistics  |  Credits