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

Educational Background

  • Ph.D. in Computer Engineering, Southern Methodist University, 2017
  • M.S. in Computer Engineering, Washington University in St. Louis, 2010
  • B.S. in 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, 2016
  • Outstanding Graduate Student Award, Southern Methodist University, 2015

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