This course focuses on the theory and implementation of modern programming languages. Topics include: logic, lambda calculus, type theory, domain theory, category theory, semantics, and implementation for languages of different paradigms.

This course covers selected topics in parallel/distributed systems. The detailed contents may be changed from year to year depending on the current development and the teacher specialty.

This course will introduce to students topics in software systems. Topics will be selected from theories, design and implementation methodologies, object technologies and software agent technologies. The detailed contents may be changed from year to year depending on the current development and available expertise.

Characteristics of autonomous agents- Agent architectures: BDI architecture, purely reactive architectures and hybrid architecture. Multiagent systems: speech acts theory, agent communication, and agent cooperation protocols. Agent-oriented programming. Distributed hierarchical planning. Distributed rational decision making: protocols and strategies, Nash equilibrium and Pareto optimality, auctions, voting, Clarke tax, OCSM-contracts. Argumentation and negotiation.

This course introduces advanced topics in computational complexity: relations between complexity classes, reduction and completeness, P vs NP, NP and coNp problems, approximability and parallel computation.

This course will introduce to students advanced topics in database systems including query languages, concurrency control, deadlock resolutions, recovery schemes, distributed database systems, and object-oriented approach.

Data Mining provides useful tools for the analysis, understanding and extraction of useful information from huge databases. Applications range from business, finance, medicine and engineering. This course will introduce the techniques used in data mining. Topics will include clustering, classification, estimation, forecasting, statistical analysis and visualization tools.

This course will introduce to students topics in Theoretical Computer Science. The detailed contents may be changed from year to year depending on the current development and available expertise.

This course will cover selected topics from: advanced pattern recognition, neural networks, expert systems and fuzzy systems, evolutionary computing, learning theory, constraint processing, logic programming, probabilistic reasoning, computer vision, speech processing, and natural language processing.

This course explores current and future trends in the design of high-performance computing systems. Topics to be discussed will include: Pipelining, branch prediction, hardware/software techniques for exposing more parallelism, memory system design, interconnection networks, and clusters.

This course will cover advanced topics in Internet technologies. Topics will vary from year to year depending on the current research features. Sonic typical topics to be discussed will include: multimedia streaming, delivery and fault tolerance, content distribution network, peer-to-peer network and services, network economics and incentive, network security and distributed key management, service overlay network, routing and convergence.

This first part of the course includes funcamental topics in image processing, e.g. image enhancement techniques, color image processing, image segmentation, and image compression. The second part of the course focuses on topics concerning methodologies of recovering 3D information from 2D images. Specifically, techniques for camera calibration, stereoposis, motion analysis, pose estimation and structure from motion will be discussed. These techniques will have practical applications to virtual reality, model reconstruction and graphics.

Models for e-Business, Customer Behavior Models, The Anatomy of e-Business Functions, Infrastructure for Electronic Business, A Qualitative Analysis of Authentication Services, A Qualitative Analysis of Payment Services, A Capacity Planning Methodology for e-Business, Performance Modeling Concepts, Solving Performance Models of e-Business Sites, Modeling Contention for Software Servers, Characterizing e-Business Workload.

This course will introduce to students advanced topics in multimedia technology. The detailed contents may be changed from year to year depending on the current development and the teacher specialty.

This course will introduce to students advanced topics in Information Systems. The detailed contents may be changed from year to year depending on the current development and the teacher specialty.

This course introduces various user-computer interaction techniques and interface tools on internet. It will discuss the current R&D trends in virtual reality (VR) technology, especially internet-based VR technology applied to various applications including architecture modeling and navigation, virtual prototyping, 3D arts and design, multi-user real-time VR entertainment on Internet, virtual tourist, tele-medicine and distant learning, and interactive visualization.

The seminar is a series of 12 sessions with speakers invited from academia or industry to present a range of current topics in computer science to widen the students’ horizon and perspectives.

The Project provides a challenge for students to apply their computing knowledge and expertise to carry out independent research and development work in any area of Computer Science. A project report has to be written under the supervision of the lecturing staff.

This course focuses on the programming issues in computer gaming software production, discusses the process in developing a game application and analyzes various considerations in technologies used. The main emphasis is on the real time performance requirement in computer game development. Indoor/outdoor rendering, networking, artificial intelligence, physics as well as the game design issues would be introduced. The students would further gain the production experience through the game development project in the course.