Tomek Strzalkowski, Ph.D., Associate 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:

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.

Peter A. Bloniarz Ph.D., MIT., Associate Professor (Dean of School of Information Science and Policy)

My current research interests lie in two areas: information science, and software engineering.

In the Center for Technology in Government, affiliated with the Ph.D. program in Information Science, we are exploring, developing, testing, and evaluating systems to demonstrate technology applications in the public sector. In particular, the Center's mission is to explore specific information management problems in government organizations, measure the impact of proposed changes to existing policies and practices, and assess the effect of technology on the organization and its people.

In software engineering, I am interested in the expressive power of computer languages in modeling objects and relationships between objects. My particular interest in this area is to explore design and implementation methodologies centered around "roles" or "relationships" between entities, as well as developing varieties of collection classes.

I am also interested in computational complexity, particularly of combinatorial problems. I have previously worked on the expected-case analysis of graph algorithms, the complexity of algebraic systems, and other combinatorial problems. These areas are still of interest to me, although I am not currently pursuing research in these areas.

Paliath Narendran Ph.D.,R.P.I., Associate Professor (Computer Science)

My main area of interest is in Formal Verification, with emphasis on hardware verification. This research focuses on (a) modelling techniques for switch-level circuits, and (b) reasoning techniques where the emphasis is on improving the proof techniques needed for automation.

My work also includes research on the computational complexity of problems in the area of equational reasoning. In particular, I am interested in the area of equational unification, especially in theories with associative and commutative operators.

Huahai Yang Ph.D., University of Michigan, Assistant Professor (School of Information Science and Policy),
ILS seminar chair

My research interests are in the broad area of human-computer interaction. Particularly, I am interested in computer-supported cooperative work, information visualization, collaborative virtual environment, user modeling and user adaptive interaction.