Scholar

Djordje Zikelic

Google Scholar ID: D3CQXf0AAAAJ

Singapore Management University

Formal MethodsTrustworthy AIProgramming LanguagesProbabilistic Verification

Citations & Impact

All-time

Citations

571

H-index

i10-index

Publications

Co-authors

list available

Contact

Publications

20 items

Browse publications on Google Scholar (top-right) ↗

Resume (English only)

Academic Achievements

Received ISTA Outstanding PhD Thesis Award and Outstanding Scientific Achievement Award
Published in top venues including CAV, PLDI, POPL, NeurIPS, AAAI, IJCAI, TOSEM, OOPSLA, FM, ATVA, SODA, and PODC
Awarded Singapore Ministry of Education (MOE) Tier 1b grant in 2025 for the project 'Relational Verification of Probabilistic Models and Programs'
Tool paper 'PolyQEnt: A Polynomial Quantified Entailment Solver' received Distinguished Tool Paper Award at ATVA 2025
Paper 'Synthesizing Efficient and Permissive Programmatic Runtime Shields for Neural Policies' accepted at TOSEM

Background

Assistant Professor of Computer Science at Singapore Management University
Research focuses on ensuring correctness, safety, and trustworthiness of software and AI systems
Research interests span Formal Methods and Programming Languages, as well as Trustworthy AI and Safe Autonomy
Work is both foundational and application-driven, aiming to establish theoretical and algorithmic foundations for automated formal verification and synthesis of probabilistic models and programs
Key application domains include trustworthy AI, safe autonomy, randomized algorithms, communication protocols, security and privacy protocols, and control systems

Co-authors

19 total