HKUST PG Programs 2023-24 for School of Engineering

9 Networking and Computer Systems Per vasive computing and sensor networks, peer-to-peer computing, grid computing, high-performance switches and routers, video delivery and multicasting, multimedia networking, MAC protocols for ad-hoc networks, web cache management, DDOS detection and defense, and resource management and allocation in optical networks. Software Engineering and Programming Languages Program Analysis and Testing, Empirical Software Engineering and Mining Software Repository, Formal Semantics and Verification, Concurrency and Parallel Programming, Compilers and Program Optimization, Foundations of Software and Type Systems, and Blockchain, Smart Contracts and Decentralized Applications. Theoretical Computer Science Design and analysis of algorithms, data structures, computational geometry, information theory, coding theory, cryptography, and database theory. Vision and Graphics Computer vision, computer graphics, medical image analysis, biometric systems, and video processing.