David Kebo Houngninou
Instructional Associate ProfessorDepartment of Computer Science and Engineering
Texas A&M University
435 Nagle St, College Station, TX 77843
davidkebo@tamu.edu
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 Associate 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 hereTeaching 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: Introduction to Hardware Design Verification
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 206: Structured Programming in C
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 Chair, CMD-IT/ACM Richard Tapia Celebration of Diversity in Computing Conference
- Founder, Teamup Nonprofit