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