![Tuba Yavuz](https://conf.researchr.org/getProfileImage/tubayavuz/d4a2d21b-645e-435d-9e2d-6473f1c3f079/small.jpg?1711458819000)
Registered user since Thu 28 Sep 2017
Name:Tuba Yavuz
Country:United States
Affiliation:University of Florida
Personal website: http://www.tuba.ece.ufl.edu/
Research interests:Formal Verification, Software Engineering, Program Analysis, Security
Contributions
ICSE 2019-profile
View general profile
View general profile