Emil Elakehal

BSc Mathematics @ ETH Zürich.

Interested in Cryptography, Automated Theorem Proving and Formal Systems.

Quis custodiet ipsos custodes?

Connect

I'm always open to interesting discussions. If you've got something cool to share or have any comments on something I've written please don't hesitate to reach out: