Tuba's picture 2014    


    Tuba Yavuz

    Benton Hall 321
    Electrical & Computer
    Engineering Department
    Gainesville FL 32611
    Email: tuba at  ece dot ufl dot edu

    I am an Assistant Professor in the Electrical and Computer Engineering (ECE) Department at the University of Florida. My research is on developing scalable software analysis techniques that can be used to improve reliability and to predict run-time performance of large software systems.
    Before joining the ECE Department, I have worked as a Research Scientist at the Computer and Information Sciences and Engineering (CISE) Department at UF between 2004 and 2014. I am still affliated with the CISE Department as a graduate faculty.

    I have received my Ph.D. in computer science from the Computer Science Department of University of California, Santa Barbara in 2004. My Ph.D. thesis was on  "Specification and Automated Verification of Concurrency Controller Components" and was supervised by Tevfik Bultan.

    Ph.D. Students     CV