معرفی
Dr. Tuba Yavuz is an Associate Professor in the Department of Electrical & Computer Engineering at the University of Florida. Her research focuses on formal methods, software engineering, and system security, particularly in automated verification, model checking, and hardware security. She received her Ph.D. from the University of California Santa Barbara in 2004. Her work addresses challenges in firmware analysis, hardware Trojans, and IoT security, supported by an NSF CAREER Award in 2020.
Education:
- Ph.D., University of California Santa Barbara, 2004
Research Interests:
- Automated Verification and Model Checking
- Hardware Security and Fuzzing
- Formal Methods for Embedded Systems
- Software Testing and Analysis
Recent Research Trends: Her publications emphasize scalable hardware fuzzing, model-guided symbolic execution, and IoT framework security. Recent work includes frameworks like Dtjrtl for hardware Trojan detection and tools like SIFT for multithreaded software analysis.
Awards:
- NSF CAREER Award (2020)
Grants & Advising: Leads NSF-funded research projects on trustworthy computing and variability-aware software analysis. Advises students in system security and formal methods.
