Educational Background · Ph.D., Computer Engineering, Southern Methodist University – 2017 · M.S., Computer Engineering, Washington University in St. Louis – ...
With over six years of experience as an Associate Professor at Texas A&M University, I am passionate about teaching computer science and engineering to ...
David Kebo Houngninou, Associate Professor, Texas A&M University, CSE, Verified email at tamu.edu - Homepage, Formal Verification and Validation.
Kebo is a great professor and a talented lecturer. He makes class engaging and entertaining while teaching the material in an understandable way.
Instructional Associate Professor, Department of Computer Science and Engineering, Texas A&M University, 435 Nagle St, College Station, TX 77843
I am an Associate Professor of Computer Science at Texas A&M University. My areas of research are logic synthesis, formal verification, and validation.