Benton Hall 321
Electrical & Computer
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.