Yavuz, Tuba

Yavuz, Tuba's picture

Full Name : 

Yavuz, Tuba

Job Title: 

Assistant Professor

Building and Room Number: 

BEN 321

Mailing Address: 

P. O. Box 116200 216 Larsen Hall Gainesville, FL 32611-6200



Office email: 

tuba [at] ece.ufl.edu


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

Primary Research Area: 

  • Computer Engineering

Research Statement: 


I am interested in model extraction and developing scalable formal methods tools for automated verification. 



Affiliated Research Area: 

  • Computer Engineering

Teaching Statement: 


  • Automated HW/SW Verification
  • Advanced Systems Programming

Honors and Recognition: 

College of Engineering Teacher of the Year (2013-2014) Award

Research Interests: 

Automated verification, model checking, and automated model extraction.