Aleksandar Chakarov

Papers

Total Citations

153

H-Index

About

Aleksandar Chakarov is a leading researcher in the formal verification and static analysis of probabilistic programs—software that reasons about uncertainty in domains like medical decision-making, risk analysis, and cyber-physical systems. His foundational work, particularly the 2013 paper "Static analysis for probabilistic programs," has garnered over 150 citations, establishing him as a key figure in the field. Chakarov pioneered techniques to automatically infer probabilistic invariants and verify correctness properties of programs that sense and manipulate uncertain data. His contributions enable rigorous reasoning about reliability and safety in systems where traditional deterministic analysis falls short. By bridging program analysis with probability theory, Chakarov has provided essential tools for ensuring the trustworthiness of modern, data-driven software. His research continues to influence both theoretical advances and practical applications in safety-critical systems.