Prabhat Mishra — Computer Science & Eng. faculty at UF. Research: Embedded and Cyber-Physical Systems, Energy-Aware Computing, Formal Verification.