Sandip Ray

Here I am


Endowed IoT Term Professor

Department of Electrical and Computer Engineering
University of Florida
Gainesville, FL 32611. USA

Director of Industrial Programs, Warren B. Nelms Institute for Connected World

PHONE:   +1 (352) 392-1605

Welcome to my electronic den. As you have no doubt guessed, the person staring at you from the picture above is me. This very basic Web page is intended to keep track of my current activities.


I am an Endowed IoT Term Professor at the Department of Electrical and Computer Engineering, University of Florida. I am a member of the leadership team of the newly formed Warren B. Nelms Institute of Connected World, where I serve as Director of Industrial Programs. I am also affiliated to Florida Institute of Cybersecurity Research.

Before joining University of Florida, I had a somewhat long stint in industrial research and R&D. Most recently, I was a Senior Principal Engineer at NXP Semiconductors where I led a variety of research and R&D activities in System-on-Chip security architecture and validation targeted towards automotive and Internet-of-Things Application. Prior to that, I was a Research Scientist at Strategic CAD Labs, Intel Corporation focusing on post-silicon validation, security validation, and hardware-software co-validation of emergent systems and devices. I graduated with a Ph.D from the Department of Computer Science, University of Texas at Austin.

This page is divided into the following sections.

Standard Disclaimer: Any opinion, finding, conclusion, or recommendation expressed in this Web page (or any other Web page authored by me) is mine, and does not necessarily represent the official position of the University of Florida or any part of the government of the state of Florida or any other organization or person in the world. I do not provide any guarantee regarding the accuracy of anything in this Web page; however, if you find any errors or have any other comment or criticism (or, for that matter, appreciation), I will appreciate if you let me know.


My chief research interest is in architecture and validation techniques to ensure trustworthy, efficient, and intelligent execution of emergent devices, systems, and applications. These days, my research targets Automotive systems, Internet-of-Things, Wearable devices, Smart Implants, and transportation and energy distribution infrastructures. My work brings in techniques from synthesis, architecture, machine learning, security, prototyping, and verification. For details on the projects I am actively pursuing, visit my publications.

During my career in industrial research, I focused on techniques for security architecture, synthesis, and validation for System-on-Chip (SoC) designs targeted towards automotive, mobile, and wearable systems. Much of this work included hardware/firmware/software co-design and co-validation; design-for-resilience techniques for hardware/software systems; and post-silicon readiness and validation. Some of my previous work led to newer paradigms in design and validation and better understanding of the problem spaces.

I have also worked extensively in formal verification. I focused on developing scalable domain-specific strategies for verifying a slew of applications, including software correctness, concurrent prtocols, microprocessor pipelines, hardware/software security properties in particular information flow, certification of behavioral synthesis transformations, and verification of analog/mixed signal designs. Much of this work married interactive theorem proving with automated decision procedures including model checking, equivalence checking, and symbolic trajectory evaluation. I have worked extensively in ACL2, Isabelle, and Coq theorem provers, Intel's Forte system, and formal tools from virtually all major CAD vendors. My research was sponsored by NSF, DARPA, and SRC, and found application in the verification tool-flow of a number of companies including AMD, Freescale, Galois, IBM, Intel, and Rockwell-Collins.

Finally, I developed several foundational insights in program analysis and verification as well as mechanized compuational logics for performing such analysis. This includes equivalence of several well-known proof strategies (that had been traditionally assumed to be different), logical foundation for integrating external decision procedures with a theorem prover that implements structured, mechanized logic, foundations of mechanized induction schemes in a structured theory, etc.

My other technical interests include Distributed Systems, Algorithm Analysis, Complexity Theory, Logic, and Foundations of Mathematics.

Additional details about my research and professional colleagues are available from the following pages.

As a researcher, I find Dijkstra's three golden rules for successful scientific research very illuminating.


I co-taught the following classes at UT Austin. My teaching style has been significantly inspired by the Ten Commandments of Yale Patt.

Professional Services

The following list tracks my editorial and conference committee activities.

Jason Baumgartner, Ganesh Gopalakrishnan, Warren A. Hunt, Jr., and I maintain the FMCAD Mailing List. This list is intended to provide an open mechanism for researchers to communicate on topics related to the use of formal methods in computer-aided design. If you are interested in this area, I urge you to join the mailing list.

Warren A. Hunt, Jr. and I maintain the FMCAD Organization Home Page. FMCAD is a major conference, providing a forum for researchers to present cutting-edge research related to the use of formal methods in computer-aided design.

I am a Senior Member of IEEE, Professional Member of ACM, and Full Member of the Sigma Xi Scientific Research Society.


As you can see, I am thoroughly overworked (tongue in cheek) and have little time to indulge in other activities. When I do have time, I like to do the following. Note especially the third item. At some point in my past life, I used to love writing (non-technical) essays and poetry. I do not find time for that any more, mostly because I am lazy and that kind of work requires more mental exertion than I am prepared to execute. Well, that should tell you what I like most in my day-to-day life, namely “lolling in the sofa” doing nothing.