Group
I lead the CRAFT lab, which stands for Co-designing and Refining Accelerators using Formal Techniques
Current PhD Students
I am fortunate to have an excellent group of PhD students. I advise:
- Cano Xiao (jointly with Dr Aaron Zhao*)
- Leiqi Ye (jointly with Dr Elizabeth Polgreen*)
- Dayou Du (jointly with Dr Luo Mai)
- Aarsh Chaude (jointly with Prof. Michael O’Boyle*)
- Yujie Yan (visiting, jointly with Dr. Keren Zhu)
- Yongjie Huang (jointly with Dr Alexandros Daglis*)
* indicates the primary supervisor. If not indicated, I am the primary supervisor.
Current Undergraduate/Master Students
Each year, we supervise several undergraduate and master projects at the University of Edinburgh. We also host summer research internships for undergraduate students.
- Yu Gao (2627, MRes student)
- Muqi Zhang (2627, UG4 project)
- Jack Wang (2627, UG4 project)
- Ao Zhang (2627, UG4 project)
Past Undergraduate/Master Students
- Jici Li (2627, Summer Intern)
- Daniel Tunyan (2627, Summer Intern)
- Youcheng Wang (2627, Summer Intern)
- Katarzyna Biziel (2627, Summer Intern)
- Gregorius Dimas Baskara (2526, MSc project)
- Yu Gao (2526, UG4 project)
- Joseph Luke (2526, UG4 project)
- Yongkang Zhou (2526, Summer Intern and UG4 project)
- Michael Belyaev (2526, Summer Intern)
- Remi Thomson (2526, Summer Intern)
- Ao Zhang (2526, Summer Intern)
- Jin Bai (2425, MSc project)
- Peng Zhang (2425, MSc project)
- Joshua Chin (2425, Part III project, University of Cambridge)
- Adam Low (2425, MSc project, Imperial College London)