Đorđe ŽikelićView profile
Assistant Professor
Đorđe Žikelić is an Assistant Professor of Computer Science at the School of Computing and Information Systems at Singapore Management University (SMU) in Singapore. He completed his PhD in 2023 at the Institute of Science and Technology Austria (ISTA) under Krishnendu Chatterjee and Petr Novotný, receiving both Outstanding PhD Thesis and Outstanding Scientific Achievement awards. Prior to his doctorate, he earned bachelor's and master's degrees in mathematics from the University of Cambridge. His educational background includes: PhD in Computer Science, Institute of Science and Technology Austria (ISTA), 2023 Bachelor's and Master's in Mathematics, University of Cambridge Dr. Žikelić's research focuses on advancing formal methods to ensure software and AI systems are correct, safe, and trustworthy. His work bridges theoretical aspects of formal reasoning about probabilistic systems with practical automated verification methods. His primary research interests span three interconnected areas: Program Analysis and Verification: He develops techniques for analyzing probabilistic programs, numerical programs, and efficient quantifier elimination methods, addressing fundamental challenges in verifying complex software systems. Trustworthy AI and Safe Autonomy: He creates formal verification frameworks for learning-enabled control systems and neural networks, ensuring AI operates safely in uncertain environments through methods like runtime monitoring and certificate repair. Probabilistic System Verification: He explores broader applications including bidding games on graphs and blockchain protocol analysis, extending formal methods to novel domains beyond traditional finite-state verification. His publication trajectory shows a consistent progression from theoretical foundations to practical applications, with recent work increasingly focused on integrating formal verification with machine learning. His 2024-2025 publications demonstrate growing expertise in verifying learning-based systems and developing practical tools like PolyQEnt for quantified entailment solving. His scientific achievements have been recognized with: Outstanding PhD Thesis Award at ISTA Outstanding Scientific Achievement Award at ISTA Distinguished Paper Award at FM 2024 Dr. Žikelić serves on program committees for major conferences including TACAS, PLDI, AAAI, and CAV. He actively mentors through the Programming Languages Mentoring Workshop (PLMW) at PLDI 2025. His research group at SMU focuses on developing novel algorithms for verifying correctness of programs and AI systems, with current projects spanning formal methods, artificial intelligence, and programming languages.



