College Directory

Photo of Tuba Yavuz

Tuba Yavuz

Associate Professor

Office 321 Benton Hall Mailing P.O. Box 116200 Gainesville FL 32611 Office Phone: 352-846-0202 Website: http://www.tuba.ece.ufl.edu/

Biography

Specification and automated verification of concurrent software systems, model checking, static analysis, software engineering.

Education

Ph.D., 2004, University of California, Santa Barbara