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)
- Chenyang Ai (jointly with Prof. Nigel Topham)
- Aarsh Chaude (jointly with Prof. Michael O’Boyle*)
* 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 (UG4 project, University of Edinburgh)
- Joseph Luke (UG4 project, University of Edinburgh)
- Yongkang Zhou (UG4 project, University of Edinburgh)
Past Undergraduate/Master Students
- Joshua Chin (Part III project, University of Cambridge)
- Adam Low (MSc project, Imperial College London)
- Jin Bai (MSc project, University of Edinburgh)
- Peng Zhang (MSc project, University of Edinburgh)
- Michael Belyaev (Summer Intern, University of Edinburgh)
- Remi Thomson (Summer Intern, University of Edinburgh)
- Ao Zhang (Summer Intern, University of Edinburgh)
- Yongkang Zhou (Summer Intern, University of Edinburgh)