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*)
- Yujie Yan (visiting, jointly with Dr. Keren Zhu)
* 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.
- Gregorius Dimas Baskara (2526, MSc project, University of Edinburgh)
- Yu Gao (2627, UG4 project and MRes, University of Edinburgh)
- Jici Li (2627, Summer Intern, University of Edinburgh)
- Daniel Tunyan (2627, Summer Intern, University of Edinburgh)
- Youcheng Wang (2627, Summer Intern, University of Edinburgh)
- Katarzyna Biziel (2627, Summer Intern, University of Edinburgh)
Past Undergraduate/Master Students
- Joseph Luke (2526, UG4 project, University of Edinburgh)
- Yongkang Zhou (2526, Summer Intern and UG4 project, University of Edinburgh)
- Michael Belyaev (2526, Summer Intern, University of Edinburgh)
- Remi Thomson (2526, Summer Intern, University of Edinburgh)
- Ao Zhang (2526, Summer Intern, University of Edinburgh)
- Joshua Chin (2425, Part III project, University of Cambridge)
- Adam Low (2425, MSc project, Imperial College London)
- Jin Bai (2425, MSc project, University of Edinburgh)
- Peng Zhang (2425, MSc project, University of Edinburgh)