Đurica Nikolić

Picture of Đurica Nikolić


Đurica Nikolić
Software Engineering, Meyer
Clausiusstrasse 59
8092 Zurich


E-mail: durica.nikolic@inf.ethz.ch
Phone: +41 44 632 47 23
Cel: +39 392 91 42 461
Fax: +41 44 632 14 35


Đurica Nikolić is a postdoctoral researcher at the Chair of Software Engineering, ETH Zurich. His research interests are Java programming language and program verification, in particular static analysis of programs, abstract interpretation and formal methods.
Đurica received a PhD degree in Computer Science in April 2013, at Department of Computer Science of University of Verona (Italy) under the supervision of Fausto Spoto and Roberto Giacobazzi. During his PhD, Đurica worked on formalization and implementation of different heap-related static analyses of real-life Java and Android programs. Implementation of these analyses is a part of Julia static analyzer. Đurica's PhD thesis' title is "A General Framework for Constraint-Based Static Analyses of Java Bytecode Programs".
In 2012 and 2013, Đurica worked as a junior researcher at Microsoft Research - University of Trento Centre for Computational and Systems Biology. His main achievement is a formalization of a novel programming language, called L, for symulation of biological systems.
Previously, Đurica took his Master's and Bachelor's degrees in Computer Science at University of Verona (Italy).

For more details check out his curriculum vitae .