PHD in Computer Science & Engg - Algorithmic Optimization and Verification for Decentralized and Probabilistic Systems

Name: PHD in Computer Science & Engg - Algorithmic Optimization and Verification for Decentralized and Probabilistic Systems
Start: 2026-09-03
End: 2026-09-03

3 September 2026

4:15pm - 7:15pm

Room 3494 (Lifts 25-26), 3/F Academic Building, HKUST

Supporting the below United Nations Sustainable Development Goals:支持以下聯合國可持續發展目標：支持以下联合国可持续发展目标：

Event Format

Thesis Defense

Candidate

NOVOZHILOV, Sergei

Language

English