Djordje Zikelic

Djordje Zikelic is an Assistant Professor of Computer Science at Singapore Management University's School of Computing and Information Systems. He holds a PhD from the Institute of Science and Technology Austria (ISTA), where he was advised by Krishnendu Chatterjee and Petr Novotný. His research focuses on formal methods for ensuring correctness, safety, and trustworthiness of software and AI systems, with an emphasis on probabilistic systems, program verification, and safe autonomy. He has received awards including the Outstanding PhD Thesis and Outstanding Scientific Achievement awards from ISTA.

• Education:
  • PhD in Computer Science, ISTA (2023)
  • Bachelor's and Master's in Mathematics, University of Cambridge
• Research Interests:
  • Formal verification of probabilistic systems
  • Trustworthy AI and neural network certification
  • Runtime monitoring and control synthesis
  • Blockchain protocol analysis
• Teaching:
  • CS423: Heuristic Search and Optimization (Spring 2025/2024)

His recent work includes advancements in supermartingale-based verification, neural controller certification, and automated analysis of blockchain systems. He serves on program committees for top conferences like AAAI, CAV, and IJCAI and actively mentors students in PhD, internship, and visiting roles.