Durica Nikolic

DjuricaNikolic,  23 novembre 2011
E-mail
durica|nikolic*univr|it <== Sostituire il carattere | con . e il carattere * con @ per avere indirizzo email corretto.
Non presente dal
31 ottobre 2013
Note
 
Curriculum

Insegnamenti

Insegnamenti attivi nel periodo selezionato: 0.
Clicca sull'insegnamento per vedere orari e dettagli del corso.


 
Competenze
Argomento Descrizione Area di ricerca
Semantics Studio di tecniche di analisi e verifica di programmi a oggetti e di basso livello, al fine dell'identificazione automatica di errori e di problemi di sicurezza. Informatica teorica
Theory of computation - Semantics and reasoning
Static Analysis Studio di tecniche di analisi statica per linguaggi a oggetti e di basso livello. Inferenza di proprietà della memoria dinamica dei programmi. Inferenza di proprietà di sicurezza per le informazioni manipolate dai programmi. Ingegneria del software e sicurezza
Software and its engineering - Software organization and properties
Progetti
Titolo Data inizio
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) 15/07/11





Organizzazione

Strutture del dipartimento