David Kebo Houngninou — Computer Science & Eng. faculty at Texas A&M. Research: Formal Verification and Validation.