2.1 KiB
2.1 KiB
- 11/2018 I gave an invited talk at the Privacy in Graphs (PiG) at UC Santa Cruz. Slides are now available.
- 10/2018 I will be a co-chair of the DARS 2019 workshop on Design and Analysis of Robust Systems, colocated with CAV 2019 in New York.
- 10/2018 I gave an invited talk at the TPDP 2018 workshop on differential privacy, colocated with CCS 2018 in Toronto. Slides are now available.
- 10/2018 Trace Abstraction modulo Probability and Formal Verification of Higher-Order Probabilistic Programs will appear at POPL 2019!
- 10/2018 I am helping organize the Programming Languages Mentoring Workshop (PLMW) at POPL 2019! We have funding available to help students attend, please apply by October 30.
- 10/2018 I am serving on the program committees of POST 2019 in Prague, Czech Republic and CSF 2019 in Hoboken, New Jersey. Submit your best papers!
- 09/2018 This fall, I'm teaching a graduate seminar on Topics in Security and Privacy Technologies (CS 839). Follow along here!
- 09/2018 I've joined the Department of Computer Sciences at the University of Wisconsin--Madison!
- 07/2018 Convex Language Semantics for Nondeterministic Probabilistic Automata will appear at ICTAC 2018!
- 07/2018 I am honored to receive the ACM SIGPLAN John C. Reynolds Doctoral Dissertation Award for my dissertation Probabilistic Couplings for Probabilistic Reasoning!