Durica Nikolic

  1. Home
  2. Department
  3. People
  4. 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
Position
Research Scholarship Holders
Curriculum

Modules

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


News for students

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: only in this way will you be able to receive notification of all the notices from your teachers and your secretariat via email and also via the Univr app.

MyUnivr

Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:

  • Eventi di Terza Missione: eventi di Public Engagement e Formazione Continua.
  • Insegnamenti di Terza Missione: insegnamenti che fanno parte di Corsi di Studio come Corsi di formazione continua, Corsi di perfezionamento e aggiornamento professionale, Corsi di perfezionamento, Master e Scuole di specializzazione.
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. Cybersecurity
Software organization and properties
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 Formal Verification
Software organization and properties
Program semantics Development of semantic models for characterizing security and analysis problems of programming languages Algebra, Geometry, and Mathematical Logic
Semantics and reasoning
Program semantics Development of semantic models for characterizing security and analysis problems of programming languages Algorithms, Logic, and Theory of Computing
Semantics and reasoning
Program semantics Development of semantic models for characterizing security and analysis problems of programming languages Software Engineering and Formal Verification
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

Share