DIRECTOR, EMBEDDED SYSTEMS LAB
PROFESSOR, CISE
Email: prabhat@ufl.edu
Phone: (352) 505-1880
Mailing Address: P.O. Box 116120 Gainesville, FL 32611-6120
Office Location: E568 CSE
RESEARCH INTERESTS
IoT Security Validation, Embedded and Cyber-Physical Systems, Hardware Security and Trust, Energy-aware Computing, System-on-Chip Validation, Formal Verification, Post-Silicon Debug
ABOUT
Websites:
Department of Computer and Information Science and Engineering faculty
Embedded Systems Lab
EDUCATION
Ph.D., University of California, Irvine (2004)
M.Tech., Indian Institute of Technology, Kharagpur (1996)
B.E., Jadavpur University, India (1994)
RESEARCH PROJECTS
System-on-Chip Security Validation using Side-Channel Analysis
Intellectual Property (IP) Trust Validation using Formal Methods
Secure Network-on-Chip Architecture
Energy-efficient Dynamic Reconfiguration in Real-Time Systems
Post-Silicon Validation and Debug
System-on-Chip Validation and Verification