David Kebo Houngninou

David Kebo Houngninou is an Instructional Assistant Professor in the Department of Computer Science and Engineering at Texas A&M University. His scholarly research is on boolean/switching theory and the application of formal methods to secure computing systems. David has prior experience working as a design engineer for NXP, Texas Instruments, and IBM research lab. Before joining Texas A&M University, he was an Adjunct Lecturer of Computer Engineering at Southern Methodist University. David is involved in developing teaching methods for Computer Architecture in K-12 and is the founder of an education non-profit for computer science literacy in underrepresented communities.