Back to advisors
TY

Tuba Yavuz

Associate Professor · Department of Electrical & Computer Engineering

University of Florida · United States
Automated verificationModel checkingAutomated model extraction

About

Tuba Yavuz is an Associate Professor in the Department of Electrical & Computer Engineering at the University of Florida. Her research interests include automated verification, model checking, and automated model extraction.

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.