conf.researchr.org / Aleksandar Chakarov
![Aleksandar Chakarov](https://conf.researchr.org/getProfileImage/aleksandarchakarov/ea46e809-01dd-42eb-90d2-baf36ac02b91/small.jpg?1711506734000)
Registered user since Tue 6 Sep 2016
Name:Aleksandar Chakarov
Bio:
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.
Country:United States
Affiliation:University of Colorado Boulder
Personal website: http://www.cs.colorado.edu/~chakarov/
Research interests:Probabilistic Programming, Program Analysis, Verification, Static Analysis, Stochastic Systems
Contributions