Programming Languages and Formal Methods
Predictable Automatic Verification of Data Structures and Systems
Using local, or intrinsic, definitions of data structures to develop predictable verification for data structures and systems.
Differential Privacy Verification
Using approximate solvers for non-linear real arithmetic to improve differential privacy verification.