Choose a Membership Level
I am an Associate Professor in Logical Foundations and Formal Methods at University of Cambridge. I am creating tools for thought, aimed at mathematicians, scientists, and engineers — from amateur to professional. P.S. Please exercise good judgment and do not donate if we have a professional relationship in which I have influence over your career.
{{ tier.Description }}
We sent a verification code to: {{ emailSignup.email }}
Check your Gmail inbox.
If you don't get the email after a few minutes, tap below to resend.
Select a custom theme color for your page.
Please choose a darker color.
Please enter a valid hex code.