Bob Carpenter's Teaching

Graduate Students

Ph.D. Students

Principal Advisor

• 1996. Ariel Cohen. Semantics and Utility of Generics. Carnegie Mellon University, Computational Linguistics Program.
  currently: faculty at Ben-Gurion University, Israel.
• ABD. Gerald Penn. Carnegie Mellon University, Language Technology Institute. Compiling Attribute-Value Logics. Carnegie Mellon University.
• ABD. Kathy Baker. Carnegie Mellon University, Language Technology Institute. Guarded Constraint Processing.

Secondary Advisor

• 1997. Lena Stroemback. FLUF: A Formal Language for Unification. Linkoeping, Sweden. (External examiner.)
• 1996. Shuly Wintner. The WAM and Feature Logic Parsing. Technion, Israel, Department of Computer Science.
  currently: post-doc, University of Pennsylvania Computer Science Department
• 1997. Dirk Heylen. Lambek Constraint Grammars Utrecht, The Netherlands. Institute for Speech and Language.
• ABD. Alberto Momigliano. The Transformational Approach to Negation in Higher-Order and Type-Theoretic Logic Programming Languages. Carnegie Mellon University, Logic and Computation Program.
• ABD. Akira Ushioda. Lexical and Phrasal Clustering by EM
• ABD. Thomas Polzin: Higher-order HMMs and Emotion Detection. Carnegie Mellon University, Language Technology Institute.

M.S. Students

• 1996. Sungjin Han. Sign-Based Morphological Parsing with Applications to Korean.
• 1996. Octav Popescu. Compiling Generators for Constraint-Based Grammars.
• 1996. Dan Brown. Parsing Higher-Order Type-Logical Grammars
• 1995. Carsten Schuermann. A computational Meta Logic for the Horn Fragment of LF
• 1995. Ray Pelletier. The Goal Driven Production System Tertl and its Abstract Machine
• 1994. Yan Qu. An Abstract Machine Emulator for Attribute-Value Logics
• 1994. Haruyuki Fujii. Architectural Descriptions from Natural Language
• 1994. Pam Jordan. Temporal Relations and Aspect in Natural Discourse
• 1993. Michael Mastroianni. Attribute-Value Phonology
• 1993. Gerald Penn. An AVL Compiler for HPSG
• 1992. Young-Gie Min. Tense and Quantification
• 1991. Louise Osterholtz. A Generator for First-order Logic
• 1990. Alex Franz. A Parser for HPSG
• 1989. Sondra Ahlen. Interpreting Lexical Partitions and Inheritance

University Courses

• Categorial Grammar and HPSG. with Ivan Sag. Dutch Graduate School in Logic and Linguistics. 1994.
• Semantics and Pragmatics
  CMU Graduate, 1996, 1995, 1994, 1993, 1992, 1991
• Natural Language Processing I -- Syntactic and Morphological Processing
  CMU Graduate, 1995(F), 1995(S) (co-taught), 1994, 1991, 1990
• Natural Language Processing II -- Semantic and Pragmatic Processing
  CMU Graduate, 1992, 1991, 1990, 1989, 1988
• Natural Language Processing III -- Practicum
  CMU Graduate, 1996, 1995
• Introduction to Computational Linguistics
  CMU Graduate, 1992, 1991, 1990
• Language and Thought (Psycholinguistics)
  CMU Undergraduate, 1993
• Philosphy of Language (co-taught with Teddy Seidenfeld)
  CMU Undergraduate, 1993, 1991
• Seminar in Head-Driven Phrase Structure Grammar
  CMU Graduate, 1992
• Computational Theory Core (Denotational Semantics, Computability, and Complexity)
  CMU Graduate, 1992, 1991, 1990
• Computation Theory for Artificial Intelligence
  University of Pittsburgh Graduate, 1989

Tutorials

• Spoken Dialogue Systems. with Jennifer Chu-Carroll. Annual Meeting of the Association for Computational Linguistics. 1999.
• Type-Logical Grammar European Society for Language, Logic and Information Summer School, Barcelona, 1995.
• Theory and Implementation of Attribute Value Logics for Grammars (i) European Society for Language, Logic and Information Summer School, Saarbruecken, 1991 (ii) Dutch Graduate School in Logic, Utrecht, 1994
• Workshop on the Implementation of Attribute-Value Logics for Grammatical Processing European Society for Language, Logic and Information Summer School, Lisbon, 1993
• Prolog for Linguistics. Linguistic Society of America Linguistic Institute, Santa Cruz, 1991
• Prolog and Natural Language Processing Linguistic Society of America Linguistic Institute, Santa Cruz, 1991
• Introduction to Domain Theory and Denotational Semantics (i) European Society for Language, Logic and Information Summer School, Leuven, 1990 (ii) European Society for Language, Logic and Information Summer School, Saarbruecken, 1991
• Workshop on the Theory of Attribute-Value Logics European Society for Language, Logic and Information Summer School, Saarbruecken, 1990
• Event-Based Theories of Semantics European Society for Language, Logic and Information Summer School, Groningen, 1989