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 […]