Chike Abuah

Registered user since Tue 12 Oct 2021

Name:Chike Abuah
Bio:

Chiké Abuah is a computer scientist, specializing in data privacy, cybersecurity, and automated reasoning. He received his PhD in computer science at the University of Vermont in 2021. Currently he researches and implements programming languages and analysis tools which help programmers build reliable software. Chiké received his BA from Grinnell College, and MS from the University of Massachusetts.

Country:United States
Affiliation:University of Vermont
Research interests:Privacy

Contributions

SPLASH 2022 Author of Solo: A Lightweight Static Analysis for Differential Privacy within the OOPSLA-track
Committee Member in External Review / Artifact Evaluation Committee within the OOPSLA-track
SPLASH 2019 Author of Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA-track
Author of Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA Artifacts-track