Assistant Professor Tuba Yavuz has been awarded a 2020 NSF CAREER Award for her project, “Towards a Secure and Reliable Internet of Things through Automated Model Extraction and Analysis.” The project will additionally help broaden participation of women and other underrepresented groups in IoT security, formal methods, and software engineering research.