Sandip Ray

Here I am

Research Associate

Department of Computer Sciences
University of Texas at Austin
1 University Station M/S C0500
Austin, TX 78712-1188, USA.

OFFICE:   MAI 2004
EMAIL:   sandip@cs.utexas.edu
PHONE:   +1 512 471 9749
FAX:        +1 512 471 8885
WWW:     http://www.cs.utexas.edu/users/sandip

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


Standard Disclaimer

Any opinion expressed in this webpage is mine, and does not represent the official position of the University of Texas or any part of the government of the state of Texas (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 sincerely appreciate if you let me know.


Research

I am a Research Associate at the Center for Information Assurance and Security, Department of Computer Sciences, University of Texas at Austin. I graduated with a Ph.D from the same department in December 2005.

My chief research interest is in the formal verification of computing systems. I am a member of the UT Austin Automatic Theorem Proving Research Group. I am interested in the application of mechanical theorem proving and algorithmic decision procedures to guarantee that practical computing systems behave safely and securely. A large chunk of my research, both during my Ph.D. and afterwards, is based on the ACL2 theorem prover. Some of my ad hoc notes on ACL2 are available here. Also, I have recently compiled a list of interesting papers in microprocessor and hardware verification (not necessarily with ACL2). In addition I have recently started learning two other theorem provers, Coq and Isabelle, and I am enjoying the experience. I am also interested in Model Checking, Distributed Systems, Algorithm Analysis, Complexity Theory, Logic, and Foundations of Mathematics.

Selected Papers

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


Professional Services

The following list tracks my current and recent 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. FMCAD 2008 will be held in November 2008 in Portland, OR, USA.


Personal

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 exertion than I am prepared to execute. Well, that should tell you what I like most, namely "lolling in the sofa" doing nothing.


Other Stuff

Er..., well, some time in the future when I get around to doing it, this web page will provide a collection of fun stuff and a nice and concise solution to all of world's problems. For the present though, there is nothing more. Sorry if you are not satisfied. This page will be under construction perpetually, so please do visit me later for updates.