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)
- Xueheng Wang (jointly with Dr Yuvraj Patel*)
* 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.
- 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)