论文答辩

PHD in Computer Science & Engg - Solidifying and Scaling SMT-based Program Analysis

PHD in Computer Science & Engg - Solidifying and Scaling SMT-based Program Analysis

https://hkust.zoom.us/j/9933249158, HKUST
2022 年 4 月 1 日
 Theory, Algorithms, and Applications

PHD in Electronic & Comp Engg - Estimation of Structured Graphical Models: Theory, Algorithms, and Applications

Zoom Meeting: https://hkust.zoom.us/j/91414615903?pwd=WlR5M2ljSmo1TTFhVzRPUkgyL0pDUT09 (Meeting ID: 914 1461 5903 Passcode: 551985), HKUST
2022 年 3 月 8 日
PHD in Computer Science & Engg - Algorithmic Trading Strategies and Simulations for Multi-asset Classes

PHD in Computer Science & Engg - Algorithmic Trading Strategies and Simulations for Multi-asset Classes

Room 4472 (Lifts 25-26), 4/F Academic Building, HKUST
2022 年 2 月 23 日
 Optimization, Mechanism, and Standardization

PHD in Civil Engineering - Biochemical Sulfide Potential (BSP) Assay for Anaerobic Biodegradability Assessment of Organic Waste: Optimization, Mechanism, and Standardization

由 土木及环境工程学系 主办
Room 3574,( Lift 27 & 28), 3/F Academic Building, HKUST
2022 年 2 月 18 日
PHD in Computer Science & Engg - Congestion Control Mechanisms for Inter-Datacenter Networks

PHD in Computer Science & Engg - Congestion Control Mechanisms for Inter-Datacenter Networks

Room 3494 (lifts 25-26), 3/F Academic Building, HKUST
2022 年 1 月 28 日