David Kebo Houngninou

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

I am a Ph.D. candidate in SMU's 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.