Announcements:

• October 25, 2005: /filer/tmp blew a couple of disks this afternoon and is being looked at. Expect it back Friday afternoon.
  Update (4pm October 28): The filer is back working.
  Further Update (October 31): filer having more troubles. files from /filer/tmp are currently available read-only (and for some reason, not from 'research', but is from the presidents) while being worked on. Work on the filer should be done sometime late this afternoon.
  Update (November 1): filer back again.

Research areas

Research Opportunities for Undergraduates

Research laboratories and groups

Research Cluster Machines

Technical reports

Grant-supported research

Affiliated research centers

Research areas

Algorithms, optimization and theoretical computer science

• Combinatorics: theory and algorithms. (Chvátal, Farach-Colton, Fredman, Grigoriadis, Kalantari, Muthukrishnan, Steiger, Szemerédi)
• Computational geometry: (Kalantari, Steiger, Szemerédi)
• Complexity theory: (Allender, Fredman, Muthukrishnan, Szemerédi)
• Design and analysis of data structures and algorithms: (Chvátal, Farach-Colton, Fredman, Gerasoulis, Grigoriadis, Kalantari, Khachiyan, Muthukrishnan, Paull, Steiger, Szemerédi)
• Mathematical programming, discrete optimization: algorithms and complexity. (Chvátal, Grigoriadis, Kalantari, Khachiyan, Muthukrishnan, Steiger)
• Parallel computation: (Allender, Farach-Colton, Gerasoulis, Steiger, Szemerédi)
• Computational molecular biology: (Farach-Colton, Muthukrishnan)
• Computational learning theory and theory of neural networks: (Hirsh, Sontag)

Artificial intelligence

• Problem solving and problem representations; coordination of qualitative and quantitative reasoning. (Amarel, Hirsh, Kulikowski, Smith, Steinberg)
• Cognitive models in AI, natural language processing, knowledge representation and reasoning, models of common-sense reasoning. (Borgida, Kulikowski, McCarty, Stone)
• Methods of machine learning, self-improvement in problem solving, automatic theory formation, knowledge acquisition, knowledge compilation. (Amarel, Hirsh, Kulikowski, Steinberg)
• Applications of AI: medicine (Kulikowski), psychology (), legal reasoning (McCarty), design (Amarel, Hirsh, Levy, Smith, Steinberg), laboratory instrumentation (Kulikowski), linguistics and dialogue (Stone), computer fault diagnosis (Smith), vision (DeCarlo), molecular biology (Hirsh, Kulikowski, Nevill-Manning), robotics for the disabled (), processing of large text corpora (Hirsh, Nevill-Manning, Stone).
• Computer vision, image processing, robot navigation, object modeling, iconic reasoning (DeCarlo, Kulikowski, Metaxas)

Scientific Computing, Modeling and Simulation

• Numerical methods for differential and integral equations, boundary value problems. (Richter, Vichnevetsky)
• Hydrodynamics and other applications to science and engineering. (Gerasoulis, Richter, Vichnevetsky)
• Parallel algorithms for numerical methods. (Gerasoulis)

Computer and Software Systems

• Design and organization of digital computers (Bianchini, Levy, Smith)
• Modern operating systems (Bianchini, Iftode, Martin, Nguyen).
• Computer networking, network analysis and synthesis, networks (Grigoriadis, Levy, Martin).
• Parallel and distributed computing (Bianchini, Gerasoulis, Iftode, Imielinski, Martin, Minsky, Nath, Nguyen).
• Wireless computing (Iftode, Imielinski, Muthukrishnan, Nath).
• Software engineering (Borgida, Minsky, Ryder).
• Compilers and program optimization (Kremer, Ryder).
• Data/Information Storage and Querying: data mining (Farach-Colton, Hirsh, Imielinski, Muthukrishnan), digital libraries and information retrieval (Hirsh, Metaxas Nevill-Manning), bio-informatics (Farach-Colton, Kulikowski, Nevill-Manning), content-based image retrieval (Metaxas).
• Animation & Cognitive Modeling (Metaxas).
• Computational Bio-Imaging (Metaxas).
• Graphics (DeCarlo)