Djordje Zikelic

Djordje Zikelic

Assistant Professor of Computer Science

About me

I am an Assistant Professor of Computer Science at the School of Computing and Information Systems at Singapore Management University. Previously, I obtained my PhD in 2023 at the Institute of Science and Technology Austria (ISTA), where I was fortunate to be supervised by Krishnendu Chatterjee and Petr Novotný. For my PhD work, I received the Outstanding PhD Thesis and the Outstanding Scientific Achievement awards at ISTA. Before that, I obtained bachelor’s and master’s degrees in mathematics at the University of Cambridge.

You can reach me at dzikelic@smu.edu.sg.

Openings

I have multiple openings for motivated PhD students, interns, and visiting PhD/master/undergrad students, to work with me on topics related to formal methods, trustworthy AI or program analysis. Please see this page if interested.

Research Interests

My research is concerned with helping programmers ensure that software and AI systems are correct, safe, and trustworthy. To achieve this, I study Formal Methods and their applications to Program Analysis and Verification, as well as Trustworthy AI and Safe Autonomy. The long term goal of my work is to advance the theory and automation of formal methods for certifying correctness of software and AI systems, especially in the presence of probabilistic uncertainty. My work is concerned with both theoretical aspects of formal reasoning about probabilistic systems, as well as the development of automated methods to help programmers build correct software and AI systems in practice. My current research interests include:

  1. Program Analysis and Verification
  2. Trustworthy AI and Safe Autonomy
  3. Broader perspective and applications of probabilistic system verification:

News