Tuba Yavuz

Associate Professor · Department of Electrical & Computer Engineering

Automated verificationModel checkingAutomated model extraction

简介

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.

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。