Skip to main content
    GradsMatch
    Back to Programs
    Imperial College London

    Pure Mathematics (Formalisation of Mathematics) MSc

    Last verified against the official program page on .

    London, GBMScIn-person1 year
    £39,900.00
    Tuition
    over 12mo
    33%
    Acceptance
    of applicants
    180
    Credits
    £90.00
    App fee

    Pure Mathematics (Formalisation of Mathematics) MSc at Imperial College London is a 180-credit, 1-year, in-person MSc program based in London, GB. Tuition is £39,900.

    About the program

    Explores advanced topics in pure mathematics including algebra, number theory, geometry, topology and analysis. Focuses on formalisation of mathematics using the Lean programming language and Mathlib library, with mandatory Formalising Mathematics module and research project involving formalisation.

    Focus: both
    QS: 8 (Mathematics)
    Part-time option

    Your fit

    Match

    Pro users see a 0 to 100 match score personalized to their academic profile, plus a per-component breakdown (major, GPA, tests, work experience, and more).

    Admissions

    Pro

    Unlock full admissions requirements

    GPA thresholds, GRE/TOEFL/IELTS minimums, essay counts, recommendation letters, prerequisites, admissions contacts, and country-specific requirements like APS certification, portfolio submissions, or GATE scores.

    Sign up for 7-day free trial

    Deadlines

    Pro

    Exact application deadlines for each term (Fall, Spring, Summer, Rolling), with priority and final dates where the program distinguishes them.

    Sign up for 7-day free trial

    Standardized tests

    Pro

    Which tests are required, optional, or waived (GRE, GMAT, TOEFL, IELTS, Duolingo), minimum scores including separate verbal / quant sections, and program codes for score reporting.

    Sign up for 7-day free trial

    After the program

    Post-study work rights

    2 years Graduate Route (UK)

    $16,000.00
    Annual living cost

    Application Checklist

    Sign in to track what you need to submit for this program.

    Sign in
    See admits on GradCafe
    Self-reported profiles of past applicants to this program.

    Prerequisites

    Specific coursework this program expects you to have completed: calculus, linear algebra, programming, statistics, and subject-specific prerequisites where applicable.

    Recommendations

    Exact count of letters required, whether academic vs professional references are preferred, and any program-specific guidance on who to ask.

    Essays

    Number of essays required (statement of purpose, personal statement, diversity statement), prompts where the program publishes them, and whether supplemental essays are optional or mandatory.

    Contact

    Direct email and phone for the admissions office handling this program, plus a link to the program-specific inquiry page where available.

    Frequently asked questions

    How much does Pure Mathematics (Formalisation of Mathematics) MSc at Imperial College London cost?
    The total estimated tuition for Pure Mathematics (Formalisation of Mathematics) MSc at Imperial College London is £39,900 across 180 required credits.
    Is Pure Mathematics (Formalisation of Mathematics) MSc at Imperial College London online or in-person?
    Pure Mathematics (Formalisation of Mathematics) MSc at Imperial College London is offered in-person.
    How long does Pure Mathematics (Formalisation of Mathematics) MSc at Imperial College London take to complete?
    Pure Mathematics (Formalisation of Mathematics) MSc at Imperial College London is structured around 1 year and 180 credits.
    What GPA is required for Pure Mathematics (Formalisation of Mathematics) MSc at Imperial College London?
    Per the program's published guidance: 2:1 honours
    How competitive is Pure Mathematics (Formalisation of Mathematics) MSc at Imperial College London?
    Pure Mathematics (Formalisation of Mathematics) MSc at Imperial College London reports an acceptance rate of approximately 33%.