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/~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 very basic Web page is intended to keep track of my current activities.

News

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. My Ph.D advisor was J Strother Moore, and a large chunk of my research, both during my Ph.D. and afterwards, has revolved around the ACL2 theorem prover that he has co-authored with Matt Kaufmann. I have also been dabbling a bit into two other theorem provers, Coq and Isabelle, and I am enjoying the experience. My other research interests include Model Checking, Distributed Systems, Algorithm Analysis, Complexity Theory, Logic, and Foundations of Mathematics.

• Publications
• List of Collaborators

I have compiled a list of interesting papers in microprocessor and hardware verification here. If you are doing research in this area, I hope you find the list useful.

My research is funded in part by grants from the following agencies. I gratefully acknowledge the support.

• National Science Foundation (NSF)
• Semiconductor Research Corporation (SRC)

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

Teaching

• CS395T: Industrial Formal Methods, Fall 2009, co-taught with Warren A. Hunt, Jr.
• CS389R: Recursion and Induction, Fall 2008, co-taught with Warren A. Hunt, Jr.

Professional Services

• Program Committee Member ITP 2010, Edinburgh, United Kingdom, August 2010
• Program Committee Member MTV 2009, Austin, TX, December 2009
• Program Committee Member FMCAD 2009, Austin, TX, November 2009
• Local Arrangements Co-chair (with Anna Slobodová) FMCAD 2009, Austin, TX, November 2009
• Steering Committee Member International Workshop on ACL2 Theorem Prover and Its Applications, May 2009 -- Present
• Program and General Co-chair (with David Russinoff) ACL2 2009, Boston, MA, May 2009
• Session Organizer and Session Chair MTV 2008, Austin, TX, December 2008 (Invited special session on post-silicon verification)
• Program Committee Member FMCAD 2008, Portland, OR, November 2008
• Scientific Committee Member MS 2008, Petra, Jordan, November 2008
• Program Committee Member ESHOL 2008, Sydney, Australia, August 2008
• Webmaster (with Hari Mony) FMCAD 2007, Austin, TX, November 2007

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 2010 will be held in October 2010 in Lugano, Switzerland.

I am a full member of the Sigma Xi Scientific Research Society.

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