David Kebo Houngninou Instructional Assistant Professor Department of Computer Science and Engineering Texas A&M University * davidkebo@tamu.edu EDUCATION Ph.D. in Computer Engineering Southern Methodist University Master of Science in Computer Engineering Washington University in St. Louis Bachelor of Science in Computer Engineering University of Evansville December 2017 Dallas, Texas December 2010 St. Louis, Missouri December 2008 Evansville, Indiana AWARDS Southern Methodist University, Bobby B. Lyle School of Engineering Research Days Outstanding Poster Award 2017 Southern Methodist University, Bobby B. Lyle School of Engineering Outstanding Graduate Student Award 2016 Outstanding Graduate Student Award 2015 DISSERTATION Implementation of Switching Circuit Models as Vector Space Transformations Modeling of switching circuits is the foundation for many Electronic Design Automation (EDA) tasks and is commonly used at various phases of the design flow for tasks such as simulation, justification, and other analyses. State-of-the-art simulation tools are based on discrete event algorithms using switching algebraic models and are highly optimized and mature. Symbolic simulation may also be implemented using a discrete event approach, or other approaches based on extracted functional models. The common foundation of modern simulation tools is that of a switching or Boolean algebraic model that may be augmented with timing information. Justification using switching circuit models are often based on solving the satisfiability problem and can be computationally expensive. Alternative models, such as the one proposed here have the potential to allow for advances in performance and storage requirements in applications such as simulation and justification. Recently, an alternative foundational model for conventional digital electronic circuits has been proposed where the circuits are modeled as transfer functions in the form of matrices. The essence of the new model is to represent information as an element in a vector space rather than as a switching function variable. In this way, switching circuits are likewise modeled as transformations from one vector space to another. We demonstrate that the vector space model can be effectively used as the basis for symbolic simulation, justification, and other applications. Advisor: Prof. Mitchell A Thornton 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.
TEACHING EXPERIENCE January 2016 - Present Adjunct Lecturer in Microprocessor Architecture and Interfacing Taught a course on the ARM Microprocessor Architecture and Interfacing. Covered topics such as memory structure and interfacing, bus systems, support chips, tools for hardware design, analysis, simulation, implementation, and debugging. Conducted the theoretical part of the course with a laboratory for students to design and analyze interfaces to processors, memories, and peripherals. August 2015 - December 2017 Adjunct Lecturer in Digital Systems Design Taught a course on Digital Systems Design including topics such as combinational logic synthesis using Verilog, FPGA architecture, and finite state machine design. Taught the use of HDLs for circuit specification and automated synthesis tools. Conducted laboratory experiments and a final design project. January 2018 - Present Adjunct Lecturer in Software Engineering Taught an introduction to software system development and an overview of development models and their stages. Covered system feasibility and requirements, architecture and design, validation and verification, maintenance, and evolution. The topics include project management and a review of current software engineering literature. January 2018 - Present Adjunct Lecturer in Discrete Computational Structures Taught students how to apply the concepts of discrete mathematics to computer science problems. Focused on mathematical principles central to computer science including sets, logic, and proofs. Covered additional topics such as an introduction to graph theory and combinatorics. August 2013 - December 2017 Teaching Assistant in Digital Systems Design Assisted students with combinational and sequential logic synthesis using Verilog Introduced students to HDL programming Assisted students with finite state machine design and pipelining Graded programming assignments January 2013 - May 2017 Teaching Assistant in Microprocessor Architecture and Interfacing Wrote interfacing labs based on the ARM7 and Cortex Microcontrollers Introduced students to assembly and C programming for embedded systems Graded Verilog programming assignments August 2012 - May 2017 Teaching Assistant in Digital Logic Design Provided students with instructions and guidance for digital logic design Developed lab experiments for combinational and sequential logic Graded digital logic design and Verilog programming labs 2
INDUSTRIAL EXPERIENCE Texas Instruments, Dallas TX May 2017 - September 2017 Design Intern Worked with the Multicore and DSP team on design and verification. Generated SOC system traffic from external masters in a Multicore DSP for IO cache coherence testing. Configured PCIe bus and ARM R5 cores as traffic drivers. IBM Research Lab, Cambridge, MA June 2014 - September 2014 Research Intern Performed temporal and structural graph analysis of governance, risk, and compliance data Designed and implemented tools for information and Data Visualization NXP Semiconductors, Austin TX May 2012 - August 2012 Software Developer Developed a Web Application for the wafer manufacturing facility Developed a dashboard application using the GRAILS framework Acquired Professional experience using the DHTMLX JavaScript library Wirevibe, Irving TX January 2011 - October 2011 Web Developer Professional experience in PHP, MySQL, JavaScript, AJAX, and CSS Development and maintenance of corporate websites MySQL database structure design CSS programming for website visual enhancements Magellan Integration, Evansville IN August 2008 - May 2010 Computer Engineer Level 1 Tested low-voltage equipment before delivery to customers Designed and documented security/surveillance systems and low-voltage projects Installed wireless routers on mobile security trailers Installed DVRs, cameras and motion detectors for customers Monitored and maintained the company VLANs Configured testing lab facilities and maintained Windows & UNIX servers Nanorobotics Laboratory, Polytechnique of Montreal Canada May 2007 - July 2007 Laboratory Research Assistant Examined and measured the resonance frequency of magneto elastic samples for medical use Implemented a VI (Virtual Instrument) under LabVIEW to record the frequency of Terfenol-D samples Assembled a circuit according to the project specifications to measure the resonance of Terfenol-D samples Documented experiments and submitted measurements for analysis PROJECTS Area: Digital System Design & VLSI Title: Finite state machine (Matrix multiplier) on Altera FPGA Datapath and Controller design in Verilog Timing analysis for performance optimization Title: 8-bit RISC CPU design in CADENCE Designed a block diagram of the CPU architecture including memory, ALU, and control unit. 3
Performed CPU layout simulation in CADENCE Performed LVS and DRC testing on the CPU in CADENCE Submitted layout for fabrication in a 0.6 micron CMOS process Area: Computer Architecture Title: Design of 5-stage pipeline processor in VHDL using Altera Modelsim Wrote a custom instruction set architecture for the processor Wrote test programs to test the behavior and hazards of the processor Calculated the execution time of the pipeline and processor MIPS rate Area: Wireless Sensor Network & Embedded Systems Title: Teleoperating Home Devices using TinyOS Designed a remote gate opener using TelosB/Tmote Sky motes and a servomotor Wrote an application in nesc for the wireless communication between the basestation and motes. Built the hardware setup and wired the servomotor to the mote external pins. Area: iphone OS Application Development Title: Sudoku for the iphone and ipad Wrote the application logic and the algorithm in Objective-C Upgraded user interface for integration with the ipad Title: Automated Phone Number Exchange for the iphone Contributed to the high-level specifications of the application Debugged and tested the application on the iphone simulator Area: Android OS Application Development Title: Android Phone to AXIS IP Camera Wrote an Android phone application in Java to control an IP camera remotely Established the communication between the phone and the camera via sockets Implemented control functions to move the IP camera from the phone using the AXIS API Implemented the application graphical user interface Area: Computer Networking Title: Design and implementation of a computer network with WAN connectivity for Oncology Hematology Associates of Southwest Indiana Draw the network diagram including the VLANs structure Documented the current protocol configurations Wrote network configuration files with VLANs and ports configuration on Cisco Catalyst switches. SKILLS Digital Systems Design Microprocessor Architecture Formal Hardware Verification and Validation RTL Synthesis and test Embedded Systems Programming FPGA Architecture SOFTWARE & OS Code Composer Studio Altera Quartus II Cadence Verilog XL Keil µvision Synopsys Design Vision Eclipse IDE Xilinx ISE NI Multisim NI LabVIEW MATLAB Mac OS X Linux 4
PROGRAMMING LANGUAGES Verilog VHDL Assembly C / C++ Python Java D3.js JavaScript library SERVICE & COMMUNITY OUTREACH Cercle Social Non-Profit, Dallas, TX October 2010 - Present President The non-profit for Education donates energy-efficient computers and microcomputers such the Raspberry Pi in schools in Africa. Our programs give a chance to students in rural and underserved areas to learn the basics of computer software and programming in middle and high school. Our latest project is available on pi.cerclesocial.org. As President and member of the Board, my responsibilities are the following: Oversee the grant writing process to secure funding for educational projects. Ensure that the Executive Board s decisions are implemented efficiently. Bring innovative ideas to implement our educational programs. Oversees the proper functioning of the Organization in the USA and Benin 5