Author: Harrem Monkhorst

Dr. Tuba Yavuz

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