Prof.Tomek Strzalkowski

Tomek Strzalkowski

Ph.D.,Simon Fraser Univ., Professor (Computer Science)

My research interests are in natural language processing (NLP) and information processing and retrieval (IR). I have been doing work in the following areas:

  • Computational Linguistics: robust text processing, information extraction, fast parsing, semantic analysis and discourse processing.
  • Information Retrieval: automated indexing, linguistic indexing, topic detection and tracking, spoken language filtering and retrieval, cross-lingual retrieval, interactive IR.
  • Automated Summarization: automated abstracting, multi-document summarization.
  • Open-Domain Question-Answering: automated question-answering from unstructured data.
  • Interactive Dialogue Systems: dialogue modeling, spoken-language dialogues, human-machine conversation, semantics of automated dialogue, automated call centers.
  • Knowledge Acquisition: corpus analysis, text mining, machine learning.
  • Logic Programming: Logic grammars, reversible grammars.
  • Artificial Intelligence: meaning representation.
  • Computational sociolinguistics: leadership, influence and social dynamics in interaction, social media, and online games.

Contact Information:

Address: University at Albany
ILS Room 262B, Social Science Building
1400 Washington Avenue
Albany, NY 12222
Email: tomek [at] albany [dot] edu
Phone: (518) 442-2608
fax: (518) 442-2606
CV: Full CV

Prof. Neil V. Murray

Neil V. Murray

Ph.D.,Syracuse Univ., Professor (Computer Science)

My main research interest is in automated deduction; this includes both theoretical and experimental studies. The development of inference techniques for negation normal form (NNF) formulas and related tableau-based techniques is central. These techniques could lead to tangible progress not only for automatic theorem provers, but for other systems; examples are deductive databases, systems based on logic programming, and other AI systems with an inferencing component such as deduction-based program synthesis and non-monotonic reasoning systems.

The extension of deductive techniques to various non-classical logics is also prominent in my research activities. These include multiple-valued, annotated, and fuzzy logics. More recently, I have worked in knowledge compilation, and this work led to a new prime implicate algorithm. Plans are to extend this into the context of SMT (Satisfiability Modulo Theory).

I have served on several conference program committees, and as the local arrangements chair for the 11th Conference on Automated Deduction (CADE); and as treasurer and ex-officio trustee of CADE, Inc. from 1993 to the present. I was program chair for TABLEAUX¹99, and symposium chair for the International Symposium on Methodologies for Intelligent Systems (ISMIS) 2005. I was co-conference chair for the 24th Conference on Automated Deduction (CADE) in 2013.

Contact Information:

Address: Computer Science Department
University at Albany, SUNY
1400 Washington Avenue
Albany, NY 12222
Email: nvm [at] cs [dot] albany [dot] edu
Phone: (518) 442-3393
fax: (518) 442-5638