**79/hour**

### Expert mathematician with a passion for sharing knowledge

...dependent type theory, software verification.
Cryptography: RSA, El-Gamal, double-ratchet, elliptic curves, lattices, **number theory**, probability. I've worked through Dan Boneh's graduate course.
Computational calculi: Lambda calculus, read more

**79/hour**

**online lessons**

...dependent type theory, software verification.
Cryptography: RSA, El-Gamal, double-ratchet, elliptic curves, lattices, **number theory**, probability. I've worked through Dan Boneh's graduate course.
Computational calculi: Lambda calculus, read more