Contact me via email at mmhid <@> leeds.ac.uk

Education

Oct 2023-present

Oct 2021-July 2023

Oct 2018-July 2021

Ph.D. in Mathematics (in progress)

MSci in Mathematics

Bsc in Mathematics

University of Leeds

Lancaster University

Lancaster University

Research

Current research projects

• Large cardinals in the Bristol model (pre-print in progress)
• Modal logic of choiceless forcing multiverses (pre-print in progress)

Research Visits

I was awarded funding through the Turing scheme twice to go on research visits.

June 2025

August 2024

University of Barcelona, hosted by Professor Joan Bagaria

University of Vienna, hosted by Vera Fischer

Selected invited talks

University of Barcelona

Lancaster University

University of Vienna

June 2025

May 2025

August 2024

Choiceless weakly compact cardinals

Large Cardinals axioms from natural questions

Inaccessible cardinals and weak compactness in ZF

Selected contributed talks

Winter School

January 2025

Inaccessible cardinals without choice

Organising

Seminar and reading group organisation

Jan 2024- present

March 2024-present

Leeds set theory seminar organiser and chair

Philosophy of set theory reading group co-organiser