Michael Nahas


Photo of Michael Nahas

Contact: firstname@lastname.com or +1 646-318-0208

If you're wondering if this is the right Michael Nahas, read my bio.

Find me elsewhere: GitHub Blog LinkedIn Facebook


In January of 2022, I started a business ProofShare. It's goal it to help mathematicians share formal proofs online.


I've been luck enough to work in multiple fields. Sometimes for pay, sometimes for fun. Some results are below.

Economics:

Computer Science:

Math:

Advocacy:

Teaching:

Fun: