David Kebo Houngninou

Instructional Assistant Professor
Department of Computer Science and Engineering
Texas A&M University
435 Nagle St, College Station, TX 77843
davidkebo@tamu.edu
David Kebo Houngninou

Education

  • Ph.D. in Computer Engineering, Southern Methodist University, 2017
  • Master of Science in Computer Engineering, Washington University in St. Louis, 2010
  • Bachelor of Science in Computer Engineering, University of Evansville, 2008

Professional Experience

  • Instructional Assistant Professor, Department of Computer Science and Engineering, Texas A&M University
  • Adjunct Lecturer, Department of Computer Science and Engineering, Southern Methodist University
  • Design Engineer (Multicore and DSP design and verification), Texas Instruments
  • Researcher (Temporal and structural graph analysis), IBM Research Lab
  • Software Developer, NXP Semiconductors
  • Software Developer, Wirevibe
  • Hardware Engineer, Magellan Integration

Curriculum Vitae

Download my CV here

Teaching Experience

Teaching Interests: micro-architecture, functional verification, formal verification, emulation.
Texas A&M University, College Station, Texas
CSCE 689: Hardware-based verification using emulation and prototyping
CSCE 616: Hardware-based verification using emulation and prototyping
CSCE 465: Computer and network security
CSCE 410: Operating systems
CSCE 313: Introduction to computer systems
CSCE 312: Computer organization
CSCE 222: Discrete structures for computing
CSCE 221: Data structures and algorithms
CSCE 121: Introduction to programming design and concepts
CSCE 110: Programming I
Southern Methodist University, Dallas, Texas
CSE/EE 7385: Microprocessor architecture and interfacing
CSE/EE 7387: Digital systems design
CSE 4345: Software engineering
CSE 2353: Discrete computational structures

Service and Professional Activities

  • Doctoral Consortium Deputy Chair, CMD-IT/ACM Richard Tapia Celebration of Diversity in Computing Conference
  • Founder, Teamup Nonprofit