Yavuz, Tuba's picture
Real name: 
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

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

Primary Research Area: 
Computer Engineering
Research Statement: 


I am interested in developing scalable analysis techniques that can be used to improve reliability (in terms of functional correctness as well as performance guarantees) of large-scale software systems. 

I have recently worked using model checking on detection and fixing of data races in Java programs. My Ph.D. thesis was on Formal Specification and Automated Verification of Infinite-State Concurrent Systems.

Hiring Ph.D. Students

I am looking for motivated students with a solid background in computer engineering. My current projects are in the following areas:
1) Performance Prediction for Cloud Systems,
2) Automated Verification of Device Drivers (special focus on the Linux Kernel)
3) Finding concurrency bugs in large-scale software (special focus on multi-threaded Java applications).

If you are interested in working with me, please send me an email with your Resume or CV and a statement of purpose that elaborates on how your potential and background fits in any of the projects mentioned above.

Affiliated Research Area: 
Computer Engineering
Teaching Statement: 


  • Automated HW/SW Verification
  • Linux Kernel & Device Driver Programming
Honors and Recognition: 
College of Engineering Teacher of the Year (2013-2014) Award
Research Interests: 
Automated verification, model checking, and automated model extraction.