Tuba Yavuz
Associate Professor
Biographical Info
Primary Research Area
Computer Engineering
Research Interests
Automated verification, model checking, and automated model extraction.
Categories: Computer Engineering, Faculty
Updated 2 months ago.