6.894 Background Survey

Name: __________________________

Email: __________________________

What is your academic standing?
     [  ] Undergraduate, Course ____
     [  ] Graduate, Course ____
     [  ] Faculty/Researcher
     [  ] Other (specify)

Did you pre-register?   yes   no

Estimate the probability that you will enroll in the course as a student: ____%
As a listener: ____%

Why are you interested in this course?










To help us gauge student background, please indicate which of the following you are familiar with (check mark) and which you understand well (double check mark).

   [  ] design patterns & refactoring
   [  ] abstract data types & representation invariants
   [  ] invariants, pre/post-conditions
   [  ] first-order logic
   [  ] temporal logic and model checking
   [  ] state machine diagrams
   [  ] semantic data models / object models
   [  ] the Alloy language

What is your software development experience? (How much code have you 
written? What is the largest program you have worked on? Have you 
modified other people's code? Have you designed software?)









What programming languages are you familiar with?
     [  ] C/C++
     [  ] Java
     [  ] C#
     [  ] Lisp/Scheme
     [  ] ML
     [  ] Other (specify)

What operating systems do you have access to?
     [  ] Mac OS X
     [  ] Windows
     [  ] Linux/Unix
     [  ] Other (specify)

Do you have a laptop that you can bring to class, and what OS does it run?








Circle the times at which you could attend office hours:
Monday	   12:30-2  2-3:30    3:30-5
Tuesday	   11-12:30 12:30-2   2-3:30	3:30-5
Wednesday	    12:30-2   2-3:30
Thursday	    11-12:30  12:30-2	2-3:30	3:30-5
Friday		    11-12:30  12:30-2	2-3:30