Associate Professor
Contact
Email: tuba@ece.ufl.edu
Phone: 352-846-0202
Mailing Address: PO Box 116200, Gainesville, FL 32611-6200
Office Location
MALA 4139
[ Map ]
Primary Research Area
Computer Engineering
Research Interests
Automated verification, model checking, and automated model extraction.
ABOUT
Homepage
Publications
Honors and Awards:
Education
- Ph.D., University of California Santa Barbara, 2004