Department: Computer Science and Engineering
Year joined UB: 2016
Award amount: $496,573
Award year: 2019
The research will develop novel formal verification techniques and tools that support formal reasoning by combining privacy, accuracy, and efficiency guarantees for both data analyses, and their implementations. The results will contribute to developing foundational methods for privacy-preserving technology that can benefit society by improving and promoting safer practices in handling private or sensitive data.