Formal Reasoning and Logic Group Administrator
Stanford University
Computer Science Department
Gates Building, 2A - Rm 205
Stanford, California 94305-9020
Phone: 650/723-6321
Fax: 650/725-7411
E-mail: clilly@cs.stanford.edu
My name is Chris Lilly and I am the administrator for the Formal Reasoning and Logic Groups in the Computer Science Department at Stanford University.