Registered user since Thu 17 Dec 2015
I am a PhD student in the Programming Languages Research Group at the University of Pennsylvania, advised by Dr. Steve Zdancewic . My interests are in Logical Systems, Formal Verification and Probability Theory. At the moment, I’m working on Hoare Logics and Type Systems for reasoning about probabilistic and nondeterministic programs.
|PPS 2016||Models for Probabilistic Programs with an Adversary|
|POPL 2016|| T4: Programs and Proofs in the Coq Proof Assistant (Advanced Material)|
T4: Programs and Proofs in the Coq Proof Assistant
|Show activities from other conferences|
View general profile