College Directory
Tuba Yavuz
Associate Professor
Biography
Specification and automated verification of concurrent software systems, model checking, static analysis, software engineering.
Education
Ph.D., 2004, University of California, Santa Barbara