We are proud that the following researchers and scholars were members of the ALPACAS research group in the past. Many of them are still here!

Postdocs:

1. VP Abidha (HKUST, 2023)

2. Harshit Motwani (HKUST, 2023-24)

MPhil Graduates:

1. Soroush Farokhnia (HKUST, 2021-23)

   • Thesis: "Lazy Contracts: Alleviating High Gas Costs by Secure and Trustless Off-chain Execution of Smart Contracts"

2. Zhuo Cai (HKUST, 2021-23)

   • Thesis: "A Game-theoretic Approach for Provably-Uniform Random Number Generation in Decentralized Networks"

3. Ahmed Zaher (HKUST, 2021-23)

   • Thesis: "Parameterized Algorithms for Scalable Interprocedural Data-flow Analysis"

4. Xuran Cai (HKUST, 2023-25)

   • Thesis: "Enhancing Compiler Optimization Efficiency through Grammatical Decompositions of Control-Flow Graphs"

BSc/BEng Thesis Graduates:

1. Tamzid Morshed Rubab (HKUST, 2022-23)

2. Jonas Ballweg (TU München, 2023-24)

3. Jiayou He

4. Kha Nhat Long Nguyen

Interns:

1. Guillermo Gómez (Tecnun, University of Navarra, 2023-24)

2. Juan Pestano (Tecnun, University of Navarra, 2023-24)

3. Ali Ansari (HKUST, UG Intern, 2023)

4. Kianoush Arshi (HKUST, UG Intern, 2023)

5. Mohammad Amin Aryan (HKUST, UG Intern, 2023)

6. Mojan Bahadorinejad (HKUST, UG Intern, 2023)

7. Tingting Duan (HKUST, UG Intern, 2023)

8. Amirali Ebrahimzadeh (HKUST, UG Intern, 2023)

9. Hamza Hasan Ellahie (HKUST, UG Intern, 2023)

10. Karaneh Keypoor (HKUST, UG Intern, 2023)

11. Rishabh Kumar (HKUST, UG Intern, 2023)

12. Mahdi Qaempanah (HKUST, UG Intern, 2023)

13. Abolfazl Soltani (HKUST, UG Intern, 2023)

14. Pouria Fatemi (HKUST, PG Intern, 2022-23)

15. Shayan Chashm Jahan (HKUST, UG Intern, 2022-23)

16. Mohammad Seyed Javadi (HKUST, UG Intern, 2022-23)

17. Harshit Motwani (HKUST, PG Intern, 2021-23)

18. Pouria Omidi (HKUST, RA, 2021-23)

19. Yun Chen Tsai (HKUST, UROP, 2022)

20. Tien-chun Cheng (HKUST, UROP, 2022)

21. Yi-feng Huang (HKUST, UROP, 2022)

22. Zherui Zhu (HKUST, UROP, 2022)

23. Roodabeh Safavi (HKUST, UG Intern, 2021-22)

24. Sanzhar Bidaibek (HKUST, UROP, 2021)

25. Chun Kit Lam (HKUST, UROP, 2021)

26. Zhiang Wu (HKUST, UROP, 2021)

27. Ali Ahmadi (HKUST, UG Intern, 2021)

28. Majid Daliri (HKUST, UG Intern, 2021)

29. Mehrdad Karrabi (ISTA, UG Intern, 2020-21)

30. Mohammad Mahdavi (ISTA, UG Intern, 2020)

31. Parsa Mirtaheri (ISTA, UG Intern, 2020)

32. Ali Asadi (ISTA, UG Intern, 2019-20)

33. Kiarash Mohammadi (ISTA, UG Intern, 2019-20)

34. Ehsan Goharshady (ISTA, UG Intern, 2019)

35. Arash Pourdamghani (ISTA, UG Intern, 2018-19)

36. Ali Behrouz (ISTA, UG Intern, 2018)

37. Nastaran Okati (ISTA, UG Intern, 2017-18)