Areas of Research Concentration

Research Areas

• Algorithms and Theory

• Augmentative Technology for the Handicapped

• Computer Networks and Distributed Systems

• Computer Science Education

• Computer Security and Information Assurance

• Computer Vision and Information Visualization

• Databases

• High-Performance and Grid Computing, Cyberinfrastructure, and Computational Science

• Knowledge Representation, Computational Linguistics, and Cognitive Science

• Medical Applications and Bioinformatics

• Multimedia Databases and Information Retrieval

• Pattern Recognition, Machine Learning, and Data Mining

• Programming Languages and Software Systems

• VLSI and Computer Architecture

Research Centers, Labs, and Groups Home Pages

• Center for Unified Biometrics and Sensors

• Center of Excellence for Document Analysis and Recognition

• Center of Excellence in Information Systems Assurance Research and Education

• Bioinformatics Research Group

• Database and Multimedia Research Group

• Distributed Systems Research Group

• Knowledge Media Lab

• Laboratory for Advanced Network Design, Evaluation, and Research

• Language Research Group

• Logical Foundations of Databases Research Group

• Multimedia Information Retrieval

• MultiStore Research Group

• Security, Dependability, and Test Design Automation (SPIDER)

• SNePS Research Group

Facilities

• About Facilities

• Labs

• Special-Purpose Computing

• Research Computing

• Faculty/Staff Computing

• Infrastructure

Departmental Technical Reports

• Technical Report Archive

• Technical Reports submission instructions

• CSE Library and Research Resources

Knowledge Representation, Computational Linguistics, and Cognitive Science

Computational linguistics (or natural-language processing) and knowledge representation and reasoning are core areas of classical artificial intelligence (AI)—the computational understanding of human-level cognitive abilities. Knowledge representation and reasoning is the study of techniques for representing and reasoning about the information used by an AI program. Research at Buffalo is concerned with the abilities that underlie natural-language use, reasoning, and rational acting. We are interested in discovering how to build, and then actually building, a computerized rational agent—a computer system that can (1) converse in English about various everyday and specialized topics, (2) be taught about such subjects by instruction carried out in English, possibly with the aid of gestures, drawings, and diagrams, and (3) reason about those subjects, discuss them with humans, and perform as instructed.

Faculty

• Stuart C. Shapiro (Professor)
• William J. Rapaport (Associate Professor)
• Carl Alphonce (Teaching Assistant Professor)

Laboratories and Research Groups

• SNePS Research Group (SNeRG)
  Director: Stuart C. Shapiro
  

• Center for Cognitive Science
  

Projects

• Belief Revision in a Deductively Open Belief Space
  
• Contextual Vocabulary Acquisition
  
• An HPSG Natural Language Front End for SNePS
  
• Identifying Perceptually Indistinguishable Objects
  
• Intelligent Understanding of Computerized Patient Medical Records
  
• Machine Learning Strategies for Parsing
  
• SNePS-3
  

	Did You Know

CSE faculty averages some $4.5 million annually in grants for research in areas that range from high-performance computing to data mining.

CSE faculty are major participants in the new $200 million Buffalo Center of Excellence in Bioinformatics.

CSE's MultiStore Research Group is funded by a $1 million NSF grant for the development of high-performance online data-storage systems.

A CSE-affiliated research center developed the systems that postal agencies around the world use for automatically sorting hand-addressed mail.

CSE faculty work with researchers in chemistry, the life sciences, the pharmaceutical sciences, media study, geography, and many other disciplines.

The CSE-affiliated Center for Computational Research is one of the leading academic supercomputing centers in the U.S.

The CSE faculty includes NSF CAREER award holders and ACM, IEEE, and AAAI fellows.

A geometric algorithm developed by CSE professor Jinhui Xu configures a set of radiation beams to destroy brain tumors in a form of computer-aided surgery.

CSE professor Aidong Zhang is developing intelligent content-analysis programs to automatically analyze images, replacing human coding of semantic content.

CSE professor Russ Miller is one of the authors of a program that can determine the structure of molecules as large as 2,000 atoms from X-ray diffraction patterns.

Pursuing work on document verification and identification, CSE researchers use machine-learning algorithms to study handwriting variability.