Formal Reasoning and Logic Group Administrator
Computer Science Department
Gates Building, 2A - Rm 205
Stanford, California 94305-9020
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.