David Kebo Houngninou

Name: David Kebo Houngninou
Hometown: Republic of Benin
Major: Computer Science

I am a PhD candidate in the SMU Lyle School of Engineering. My areas of research are logic synthesis, formal verification and validation. I am a member of the High Assurance Computing and Networking (HACNet) Lab and a teaching assistant for the digital logic design, microprocessor architecture and interfacing and digital systems design.