Members

Professor Martin Hyland

Professor in Mathematical Logic

Professor Qingyuan Zhao

Associate Professor