Dr. Sandip Ray is an Endowed IoT Term Professor at the Department of Electrical and Computer Engineering, University of Florida at Gainesville, Florida, USA. His research involves developing correct, dependable, secure, and trustworthy computing through cooperation of specification, synthesis, architecture and validation technologies. He focuses on next generation computing applications, including Internet-of-Things applications, autonomous automotive systems, smart homes, intelligent implants, etc.

Before joining University of Florida, Dr. Ray was a Senior Principal Engineer at NXP Semiconductors, where he led the R&D on security architecture and validation of hardware platforms for automotive and IoT applications. Prior to that, he was a Research Scientist at Intel Strategic CAD Labs, where he led research on pre-silicon and post-silicon validation technologies for security and functional correctness of SoC designs, and design-for-security and design-for-debug architectures. In addition to NXP and Intel, his research has found application in several other companies including AMD, Galois, IBM, Microsoft, and Rockwell Collins.

Dr. Ray is the author of three books and over 60 publications in international journals and conferences. He has given over 40 invited presentations in a variety of international conferences and meetings. He has served as a program committee member in more than 40 international conferences, and as program chair for Formal Methods in Computer-Aided Design and International Workshop on ACL2 Theorem Prover and Its Applications. He currently serves as an Associate Editor for IEEE Transactions on Multi-Scale Computing and Springer Journal of Hardware and System Security. Dr. Ray has a Ph.D. from University of Texas at Austin and is a Senior Member of IEEE.