Sandip Ray — Electrical & Computer Eng. faculty at UF. Research: Trustworthy computing; Automotives and IoT; Post-silicon validation; Formal Methods.