David Kebo Houngninou

David Kebo Houngninou is an Associate Professor in the Department of Computer Science and Engineering at Texas A&M University, part of the College of Engineering. He holds a Ph.D. (2017), M.S. (2010), and B.S. (2008) in Computer Engineering from Southern Methodist University, Washington University in St. Louis, and the University of Evansville, respectively.

His research focuses on logic synthesis, hardware formal verification, and Boolean/switching theory, with notable contributions to RISC-V architecture education through the FLIP simulator. He has received awards including the Research Days Outstanding Poster Award (2017) and multiple Outstanding Graduate Student Awards (2015-2016).

Teaching interests include micro-architecture, formal verification, and computer systems courses. Professional experience spans roles at Texas Instruments (design engineer), IBM Research (researcher), and adjunct faculty positions. His work includes developing tutorials on microcontroller interfacing (STM32F107VC), CUDD BDD package usage, and Verilog parsing tools.

Key projects involve creating educational simulators, formal verification frameworks, and hardware-software co-design methodologies. He actively contributes to diversity initiatives through roles like Doctoral Consortium Chair at the CMD-IT/ACM Tapia Conference.