Tuba Yavuz-Kahveci
Department of Computer and Information
Science and Engineering
University of Florida
Gainesville, FL 32611-6120
USA
Tel: +1 (352) 392 6888
Fax: +1 (352) 392 1220
tyavuz@cise.ufl.edu
I am a Research Scientist at the Department of
Computer and Information Science and Engineering at University of Florida. I received my
Ph.D. degree from Department of
Computer Science at University of California, Santa Barbara
in 2004. My research interests include model checking, static
analysis, formal specification, and software engineering.
Teaching
Undergraduate Courses
CEN 3031 - Software Engineering (Spring 05, 06, 07)
CGS 3464 - Computer Programming using C++ (Fall 04, 05, 06, 07)
CGS 2414 - Computer Programming using Java (Fall 06)
Graduate Courses
CEN 5035 - Software Engineering (Fall 04, 05)
CIS 6930 - Automated Verification (Spring 05, 06, 07, 08)
CV
Research Statement
Publications