Quantum Formalism Academy

Quantum Formalism Academy presents a course on mathematical proof writing. Knowing about methods for constructing proofs is a vital, but often overlooked part of any researcher's journey. In fact, if you didn't study mathematics at university level, it is likely that you were never formally introduced to proof-writing strategies! We aim to remedy this fact with this mini-course, which will give you the tools to be able to write mathematical arguments clearly and precisely, and teach you some of the common methods that you will encounter throughout your time in the QF academy.

What This Course Offers:

Self-paced video lectures.
Quizzes to test your knowledge.
Certification of completion (after completing all the quizzes and with 75% mark or above).

Who Should Take It?

Researchers and engineers in Machine Learning, Quantum Computing, and related fields.
Students and professionals eager to learn advanced mathematics applied to emerging technologies.

How to sign up?

You can sign up with either of the following plans:

Meet the Instructor

Dr. Max Arnott

Max specialises in Functional Analysis and completed his PhD at Lancaster University, focusing on bounded operators on Banach spaces.

He leads the development of advanced mathematical methods for the classical-to-quantum data encoding framework, with a particular emphasis on quantum machine learning. His recent work includes classical-to-quantum data encoding for biomedical applications such as DNA sequences and medical imaging, as well as designing quantum state preparation algorithms tailored for biomedical use.

LinkedIn Profile

Making Abstract Mathematics Accessible Since 2020.

Writing and Understanding Proofs

$$\neg [\forall x P(x)]\implies \exists x [\neg P(x)].$$

What This Course Offers:

Who Should Take It?

How to sign up?

Meet the Instructor

Dr. Max Arnott

Where do our learners come from?