May 20, 2020
A former PhD student of Prof Tevfik Bultan, Tuba Yavuz, has received the NSF CAREER award for her proposal titled: "Towards a Secure and Reliable Internet of Things through Automated Model Extraction and Analysis."
Tuba received her PhD from UCSB under Prof Tevfik Bultan's supervision, and she was among the first members of the Verification Lab. Her dissertation was titled "Specification and Automated Verification of Concurrent Software Systems." Tuba worked as a research scientist at the University of Florida after receiving her PhD. Since 2014, she has been an Assistant Professor in the Electrical and Computer Engineering (ECE) Department at the University of Florida, Gainesville. Her research aims to improve reliability and security of systems using formal methods and program analysis.
Congratulations Prof Tuba Yavuz on this accomplishment!