Tuba Yavuz — Electrical & Computer Eng. faculty at UF. Research: Software Testing and Debugging Techniques, Security and Verification in Computing, Formal.