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

Phone: 

352-846-0202

Office email: 

tuba [at] ece.ufl.edu

Education: 

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.