Modules running in the period selected: 0.
Click on the module to see the timetable and course details.
There you will find information, resources and services useful during your time at the University (Student’s exam record, your study plan on ESSE3, Distance Learning courses, university email account, office forms, administrative procedures, etc.). You can log into MyUnivr with your GIA login details.MyUnivr
|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 Engineering and Security
Software organization and properties
|Program semantics||Development of semantic models for characterizing security and analysis problems of programming languages||
Theory of computation
Semantics and reasoning
|Combinazione di analisi e sintesi di programmi: co-generazione di astrazioni e raffinamenti per l'analisi e la sintesi di programmi (PRIN 2009 valutato positivamente ma non finanziato)||7/15/11|
Strada le Grazie 15
VAT number 01541040232
Italian Fiscal Code 93009870234
© 2022 | Verona University | Credits