Skip to main content
University of Florida

College Directory

Photo of Tuba Yavuz

Tuba Yavuz

Associate Professor

Affiliations Department of Electrical and Computer Engineering, Faculty
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