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… Read More
Dr. Tuba Yavuz
![](https://tuba.ece.ufl.edu/wp-content/uploads/sites/37/2019/09/tuba-150x150.jpg)