Tuba Yavuz

Assistant Professor

Contact

Email: tuba@ece.ufl.edu
Phone: 352-846-0202
Mailing Address: P. O. Box 116200 216 Larsen Hall Gainesville, FL 32611-6200

Office Location

BEN 321
[ Map ]

Expertise

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