Sandip Ray

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

Research

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

• ACL2 2009, Boston, MA, May 2009.   Program and General Co-chair (with David Russinoff)
• FMCAD 2008, Portland, OR, November 2008.   Program Committee Member
• MS 2008, Petra, Jordan, November 2008.   Scientific Committee Member
• ESHOL 2008, Sydney, Australia, August 2008.   Program Committee Member
• FMCAD 2007, Austin, TX, November 2007.   Organizing Committee Member and Webmaster

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

Note especially the third item.

• Reading: I love to read, as long as what I read is well-written. I will cheerfully read anything under the sun, but I am a particularly voracious reader of Novels, Social writings, Philosophy, History, Evolution, and Science Nonfictions (not necessarily in that order). Here are some books that I highly recommend. Also, for people who like books, Project Gutenberg might be of interest.
• Music: I love to listen to music, both Indian and Western. But I do not believe that mere shouting is music. This discrimination sometimes stops me from listening to certain songs that I do not want to qualify or discuss. I am completely ignorant of classical grammar of songs, Indian or western, and hence classical music is not quite in my palate though once in a blue moon I do get in the mood for Bach, Mozart, or Indian classical. I mostly listen to soft rock western music and similar Indian songs, where the words provide more meaning to me. My favorites in Western music are Joan Baez, Leonard Cohen, Judy Collins, Bob Dylan, Pink Floyd, Norah Jones, Richard Thompson, and Neil Young. Among Indian music, I like Rabindrasangeet, Jiban-mukhi bengali songs (Mohiner Ghoraguli, Mousumi Bhowmik, Suman Chattopadhyay, or Anjan Dutta, in that order), and Ghazals (Ghulam Ali and Jagjit Singh). Among instrumental music, I love the percussion of the tabla, and the melody of the flute.
• Food: I love food, as is obvious to anybody who has seen me in person. I make no discrimination on the ethnicity or nationality of food, as long as it tastes good.
• Art: I do not have background in art, but I love Escher for the mathematics in his art. And I guess almost everybody has been deeply impacted at some time or the other (if they had given themselves half the chance) by surrealism and Salvador Dali.

Other Stuff