Durica Nikolic

DjuricaNikolic,  November 23, 2011
E-mail
durica|nikolic*univr|it <== Replace | with . and * with @ to have the right email address.
Not present since
October 31, 2013
Note
 
Curriculum

Modules

Modules running in the period selected: 0.
Click on the module to see the timetable and course details.


 
Skills
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 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
Projects
Title Starting date
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





Organization

Department facilities