Dr. Sandip Ray is Warren B. Nelms Endowed 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 the 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 Collins. Dr. Ray is the author of three books and over 120 publications in international journals and conferences. He has given over 60 invited and keynote presentations in a variety of international conferences and meetings. He has served as a program committee member in more than 80 international conferences; as Track Chair for International Conference on VLSI Design, Microprocessor Test and Verification Workshop, and ACM Great Lakes Symposium in VLSI; and as program chair for Formal Methods in Computer-Aided Design, International Workshop on ACL2 Theorem Prover and Its Applications, IFIP Internet-of-Things Conference, International Conference on Embedded Software Systems, and International Symposium on VLSI. He has served as guest editor of special issues in IEEE Design & Test, ACM Transactions on Design Automation of Electronic Systems, Journal of Electronic Testing Theory and Applications, and Journal of Hardware and Systems Security; and as Associate Editor for IEEE Transactions on Multi-scale Computing Systems 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.