CS 1502, Formal Methods in Computer Science, Sp
2006
Survey
Name and SSN:
Which Computer Science courses have you taken already?
Which Math and/or Logic courses have you taken?
What is your major? What year are you in?
Please list any other relevant experience (work
experience, projects) or interests.