Registered user since Tue 6 Sep 2016
My name is Aleksandar Chakarov and I am a recent graduate from the Computer Science PhD Program at the University of Colorado Boulder working with Prof. Sriram Sankaranarayanan. I am a member of the CU Programming Languages and Verification (CUPLV) group and the Verification of Cyber Physical Systems group. My area of focus is the analysis and verification of probabilistic programs. I focus on adopting static analysis and invariant generation techniques to analyze probabilistic systems.
|PLDI 2017||Committee Member in External Review Committee|
|POPL 2016||Committee Member in Artifact Evaluation committee within the Artifact Evaluation-track|