David Kebo is an Instructional Assistant Professor in the Department of Computer Science and Engineering at Texas A&M University. His scholarly research is on Boolean/Switching Theory and Formal Verification. David has prior experience working as a design engineer for NXP, Texas Instruments, and IBM research lab. Before joining Texas A&M University, he was an Adjunct Lecturer of Computer Engineering at Southern Methodist University. David is also an active member of the American Society for Engineering Education. He got his Ph.D. in Computer Engineering from Southern Methodist University in 2017.