PhD Graduates:
Giovanna Kobus Conrado (HKUST, 2021-25)
Thesis: "Parameterized Graph Algorithms and Their Role in Static Program Analysis"
S Hitarth (HKUST, 2021-25)
Thesis: "Synthesis, Proofs, and Optimization in Arithmetic Theories"
MPhil Graduates:
Soroush Farokhnia (HKUST, 2021-23)
Thesis: "Lazy Contracts: Alleviating High Gas Costs by Secure and Trustless Off-chain Execution of Smart Contracts"
Zhuo Cai (HKUST, 2021-23)
Thesis: "A Game-theoretic Approach for Provably-Uniform Random Number Generation in Decentralized Networks"
Ahmed Zaher (HKUST, 2021-23)
Thesis: "Parameterized Algorithms for Scalable Interprocedural Data-flow Analysis"
Xuran Cai (HKUST, 2023-25)
Thesis: "Enhancing Compiler Optimization Efficiency through Grammatical Decompositions of Control-Flow Graphs"
Zhaorun Lin (HKUST, 2023-25)
Thesis: "Novel Blockchain-based Protocols for Electronic Voting and Auctions"
Postdocs:
VP Abidha (HKUST, 2023)
Harshit Motwani (HKUST, 2023-24)
Chenglin Wang (HKUST, 2024-25)
BSc/BEng Thesis Graduates:
Tamzid Morshed Rubab (HKUST, 2022-23)
Jonas Ballweg (TU München, 2023-24)
Jiayou He
Kha Nhat Long Nguyen
Interns:
Dewan Saadman Hasan (HKUST, 2024-25)
Abdul Rehman (HKUST, 2024-25)
Yik Long Tse (HKUST, 2024-25)
Hao Wu (CAS, 2024)
Tengshun Yang (CAS, 2024)
Guillermo Gómez (Tecnun, University of Navarra, 2023-24)
Juan Pestano (Tecnun, University of Navarra, 2023-24)
Ali Ansari (HKUST, UG Intern, 2023)
Kianoush Arshi (HKUST, UG Intern, 2023)
Mohammad Amin Aryan (HKUST, UG Intern, 2023)
Mojan Bahadorinejad (HKUST, UG Intern, 2023)
Tingting Duan (HKUST, UG Intern, 2023)
Amirali Ebrahimzadeh (HKUST, UG Intern, 2023)
Hamza Hasan Ellahie (HKUST, UG Intern, 2023)
Karaneh Keypoor (HKUST, UG Intern, 2023)
Rishabh Kumar (HKUST, UG Intern, 2023)
Mahdi Qaempanah (HKUST, UG Intern, 2023)
Abolfazl Soltani (HKUST, UG Intern, 2023)
Pouria Fatemi (HKUST, PG Intern, 2022-23)
Shayan Chashm Jahan (HKUST, UG Intern, 2022-23)
Mohammad Seyed Javadi (HKUST, UG Intern, 2022-23)
Harshit Motwani (HKUST, PG Intern, 2021-23)
Pouria Omidi (HKUST, RA, 2021-23)
Yun Chen Tsai (HKUST, UROP, 2022)
Tien-chun Cheng (HKUST, UROP, 2022)
Yi-feng Huang (HKUST, UROP, 2022)
Zherui Zhu (HKUST, UROP, 2022)
Roodabeh Safavi (HKUST, UG Intern, 2021-22)
Sanzhar Bidaibek (HKUST, UROP, 2021)
Chun Kit Lam (HKUST, UROP, 2021)
Zhiang Wu (HKUST, UROP, 2021)
Ali Ahmadi (HKUST, UG Intern, 2021)
Majid Daliri (HKUST, UG Intern, 2021)
Mehrdad Karrabi (ISTA, UG Intern, 2020-21)
Mohammad Mahdavi (ISTA, UG Intern, 2020)
Parsa Mirtaheri (ISTA, UG Intern, 2020)
Ali Asadi (ISTA, UG Intern, 2019-20)
Kiarash Mohammadi (ISTA, UG Intern, 2019-20)
Ehsan Goharshady (ISTA, UG Intern, 2019)
Arash Pourdamghani (ISTA, UG Intern, 2018-19)
Ali Behrouz (ISTA, UG Intern, 2018)
Nastaran Okati (ISTA, UG Intern, 2017-18)