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.

Special Topic for 2008-10: Service-Oriented Computing
This course presents the concepts, architectures, techniques, and infrastructure of service-oriented computing. Key topics include semantics, transactions, processes, agents, quality of service, compliance, trust, and applications.

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.

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.

Special Topic for 2008-10: Data Mining
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 Computing 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. Some 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 course will provide students with understanding and awareness of the main advantages, challenges, design issues, and current techniques in the area of distributed systems and software, based on the object-oriented paradigm and middleware. Topics will include: architectural models for distributed systems, examples of servers such as file servers and name servers, remote procedure calls and multicast communication, Java RMI, emerging standards (CORBA, DCOM) and platforms (lona Orbix, Visigenix), the features of Unix which are geared towards distributed working, the relevance of concurrency control and transactions in the sharing of distributed data, reliability and security issues.

This first part of the course includes fundamental 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 covers the key elements of the project management framework related to information technology. Topics include the identification of elements and processes of project management, processes involved in project integration management, project scope management, various tools and techniques used to develop project schedules and resource planning, processes of project quality management, project communications management, risk management, human resources management, and project procurement management. Experts from industry will also be invited to share their experience in the topics.

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 will introduce various user-computer interaction techniques and interface tools on the 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 environment 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.

This course introduces decision theory and game theory used in computer science, in particular, artificial intelligence and multiagent systems. Topics include utility theory, decision under risk, decisions under uncertainty, social choices, strategic games and Nash equilibrium, extensive games and subgame perfect equilibrium, repeated games and folk theorems, and applications in computer science.