Chiké Abuah
Assistant Professor at Walla Walla University
College Place, Washington, United States
Summary
👤
Senior🎓
Top SchoolChiké Abuah is an Assistant Professor and applied researcher with a decade of experience building privacy-preserving analytics, scalable ML pipelines, and trustworthy infrastructure across academia and industry. He has led differential privacy and confidential computing work at Harvard and AWS, translating formal verification and privacy research into practical libraries and production-ready tooling. His engineering background spans backend systems, large-scale data pipelines, and simulator/interpreter development—evident in contributions to the Reach DApp language simulator where he improved core interpreter, debugger, and state management. Comfortable moving between proofs, tooling (Z3, Dafny, Agda), and cloud-native deployments, he helps teams extract insights from sensitive data responsibly. Based in College Place, WA, he blends academic rigor from a PhD with hands-on product impact, often surfacing subtle privacy risks and mitigation strategies that others overlook.
10 years of coding experience
12 years of employment as a software developer
Doctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at University of VermontUMass LowellBachelor of Arts (B.A.) Computer Science, Bachelor of Arts (B.A.) Computer Science at Grinnell College
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (9)
simulations10
simulation10
interpreter10
simulator10
data-structure9
data-structures9
api8
blockchain8
dsl7
Programming languages (8)
Github contributions (5)
reach-sh/reach-lang
Dec 2021 - Jun 2022
Reach: The Safest and Smartest DApp Programming Language
Role in this project:
Back-end Developer
Back-end DeveloperContributions:59 reviews, 258 commits, 138 PRs in 6 months
Contributions summary:Chiké primarily focused on developing and refining the core logic of a simulator for the Reach programming language. Their contributions involved adding and restructuring the simulator's internal components, notably the interpreter, debugger, and core modules, along with improvements to the state management and data structures. The user also implemented methods for interacting with the program, the addition of new tokens, and the integration of API calls.
reachdappethereumdslblockchain
chikeabuah/rSENSE
Jan 2017 - Jun 2018
A data aggregation and visualization tool for classroom science
Contributions:141 pushes, 4 branches in 1 year 4 months
data-analysispythonscienceaggregationdata-science
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.