Write a Blog >>
Aleksandar Chakarov

Registered user since Tue 6 Sep 2016

Name: Aleksandar Chakarov

Bio: My name is Aleksandar Chakarov and I am a Computer Science PhD Student 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.

Affiliation: University of Colorado, Boulder

Personal website: http://www.cs.colorado.edu/~chakarov/

Contributions

POPL 2016Committee Member in Artifact Evaluation committee
Show activities from other conferences

POPL 2016-profile
View general profile