Dr. Tuba Yavuz
Tuesday September 10, 2019
I am an Associate Professor in the Electrical and Computer Engineering (ECE) Department at the University of Florida. My research is in the intersection of formal methods, software engineering, and system security. I received an NSF CAREER Award in 2020. The overarching goal of my research group, System Reliability Lab (SysRel), is to develop scalable and […]
