• Instructional Associate Professor, Computer Science & Engineering
David Kebo Houngninou

Educational Background

  • Ph.D., Computer Engineering, Southern Methodist University – 2017
  • M.S., Computer Engineering, Washington University in St. Louis – 2010
  • B.S., Computer Engineering, University of Evansville – 2008

Research Interests

    • Logic synthesis
    • Hardware formal verification and validation 
    • Boolean/switching theory

Awards & Honors

  • Research Days Outstanding Poster Award, Southern Methodist University – 2017
  • Outstanding Graduate Student Award, Southern Methodist University – 2015, 2016

Selected Publications

  • D. K. Houngninou and M. A. Thornton, "Simulation of switching circuits using transfer functions," 2017 IEEE 60th International Midwest Symposium on Circuits and Systems (MWSCAS), Boston, MA, 2017, pp. 511-514
  • D. K. Houngninou and M. A. Thornton, "Implementation of switching circuit models as transfer functions," 2016 IEEE International Symposium on Circuits and Systems (ISCAS), Montreal, QC, 2016, pp. 2162-2165