Faculty | Affiliate Faculty | Emeritus Faculty | Research Faculty
Office MALA 4139
Office Phone: 352-846-0202
Email: tuba@ece.ufl.edu
Website: https://faculty.eng.ufl.edu/tuba/
Publications: https://scholar.google.com/citations?user=NQDqKAIAAAAJ&hl=en
Biography
Primary Research Area
Computer Engineering
Research Interests
Automated verification, model checking, and automated model extraction.
Education
Ph.D., University of California Santa Barbara, 2004