COMP 723 Background Survey

Please answer the following questions on a scale of 1 to 5

1 means "I've never heard of it"

5 means "I wrote the book on it"


  1. _____ How familiar are you with predicate calculus or mathematical logic?

  2. _____ How familiar are you with formal grammars and automata (stuff like finite state machines, regular languages, Turing machines, context-free grammars, etc.)?

  3. _____ How much programming experience have you had with Java?

  4. _____ How much programming experience have you had with C++?

  5. _____ How much programming experience have you had with JavaScript and its classless prototype-based object model?

  6. _____ How much programming experience have you had with OO languages other than Java, JavaScript, or C++ ?

  7. _____ How familiar are you with Design Patterns?

  8. _____ How much programming experience have you had with ML?

  9. _____ How much experience have you had with functional languages other than ML (like Haskell, Lisp)?

  10. _____ How familiar are you with Pair Programming (Extreme Programming)?

  11. _____ How familiar are you with JUnit testing ?

  12. _____ How familiar are you with Abstract Data Types as a concept or programming tool?

  13. _____ How familiar are you with axioms for defining the semantics of Abstract Data Types?

  14. _____ How familiar are you with the concepts of pre-conditions, post-conditions, and loop invariants?

  15. _____ How familiar are you with Lambda Calculus?

  16. _____ How familiar are you with Denotational Semantics?

  17. _____ How familiar are you with Temporal Logic?

  18. _____ How familiar are you with type expressions and type theory?

  19. _____ How familiar are you with Aspect-Oriented Programming?