The Libraries seek to support research in theoretical computer science, especially in artificial intelligence, expert system, robotics, computer architecture, operating systems, networking, computer graphics, software design, distributed system, algorithm analysis, randomization and medical information systems. It supports the needs of undergraduate, graduate and Ph.D. students, the teaching faculty, post-docs, researchers and staff members.
A computer engineering major was introduced for undergraduate students in fall 1993 and courses in computer visual perception (AI), wireless mobile computing, computational complexity and user interface design were added during the first half of the 1990’s.
Areas of established specialization are analysis of algorithms, artificial intelligence, expert systems, natural language understanding, computer vision, VLSI, combinatorial modeling, combinatorial optimization, computational complexity, computer architecture and design, computer communications networks, computer graphics and user interfaces, database systems, graph theory, image processing, knowledge representation and reasoning, logic circuit design, logic programming, mobile computing, parallel computation, programming environments, programming languages, robotics, software engineering, and virtual environments.