Yahoo Web Search

Search results

1. scholar.google.com › citations‪David Kebo Houngninou‬ - ‪Google Scholar‬

   scholar.google.com › citations

   • Cached

   Articles 1–9. ‪Associate Professor, Texas A&M University CSE‬ - ‪‪Cited by 20‬‬ - ‪Formal Verification and Validation‬.

2. teamup.org › david-kebo-houngninouDavid Kebo Houngninou, Ph.D. - Teamup

   teamup.org › david-kebo-houngninou

   • Cached

   Dr. David Kebo Houngninou is an Instructional Associate Professor in the Department of Computer Science and Engineering at Texas A&M University. His scholarly research is in hardware verification. David worked as a design engineer at NXP Semiconductors, Texas Instruments, and IBM Research.

3. davidkebo.com › publicationsPublications - David Kebo Houngninou

   davidkebo.com › publications

   • Cached

   David Kebo Houngninou, Maristela Holanda, and Dilma Da Silva. 2023. Early Introduction to Computer Architecture in K-12. In Proceedings of the 54th ACM Technical Symposium on Computer Science Education V. 2 (SIGCSE 2023).

4. people.engr.tamu.edu › davidkebo › documentsCurriculum Vitae David Kebo Houngninou - Google Docs

   people.engr.tamu.edu › davidkebo › documents

   David Kebo Houngninou. Instructional Associate Professor Department of Computer Science and Engineering Texas A&M University, College Station, TX. Phone: 214-686-9611 Email: davidkebo@tamu.edu Website: https://people.engr.tamu.edu/davidkebo. Education.

5. davidkebo.comAbout - David Kebo Houngninou

   davidkebo.com

   • Cached

   Dr. David Kebo Houngninou is an Instructional Associate Professor in the Department of Computer Science at Texas A&M University.

6. www.linkedin.com › in › davidkeboDavid Kebo Houngninou - Associate Professor - Texas A&M ...

   www.linkedin.com › in › davidkebo

   Aug 8, 2017 · Associate Professor at Texas A&M University · With over six years of experience as an assistant professor at Texas A&M University, I am passionate about teaching computer science and engineering ...

   • Location: Texas A&M University

7. www.researchgate.net › profile › David-HoungninouDavid HOUNGNINOU | Professor (Assistant) | PhD in Computer ...

   www.researchgate.net › profile › David-Houngninou

   About. I am an Assistant Professor of Computer Science at Texas A&M University. My areas of research are logic synthesis, formal verification, and validation.