2023 cohort

The 2023 events will be in-person.  The confirmed schedule is as follows:

Examples Showcase (both semesters) : 20th Oct at Glasgow, 3rd Nov at ICMS, 17th Nov at Glasgow, 1st Dec ICMS.

Group Projects (first semester)

Homological Algebra course (second semester)

Formalising Mathematics in Lean (second semester)

The 2023 cohort consists of:

• Gabriel Corrigan (UoG)

• Mark Pencovitch (UoG)

• Xiouqi Lu (UoG)

• Giorgio Mangioni (HW)

• Giovanni Sartori (HW)

• Adrian Cook (UoE)

• Anna Maria Nolle (UoG)

• Scott Warrander (UoG)

• Gabriel Frey (UoG)

• Xiang Li (UoE)

• Chun-yu Bai (UoE)

• Julia Bierent (UoE)

• Gianni Gagliardo (HW)

• Matthias Vancraeynest (UoE)

• Iustin Surubaru (UoE) 

• Mikhail Vasilev (UoG)

• Loic Bramley (HW)