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.