Contents

1Biography 2Career 3Cosigns received 4Investments 5Lists 6Cosigns given

Dejan Jovanović

Joined Axiom Math to work on automated reasoning, on the mission to formalize, prove, and verify everything.

Companies: Axiom Math
Links

Unclaimed Profile: Created from public information and may contain inaccuracies. Is this you? Sign in with the matching X account to claim and edit your profile.

Dejan Jovanović is on Cosign.

Unclaimed profile

Dejan Jovanović is on Cosign.

Career

Cosigns received

Investments

Lists

Cosigns given

Made with love by a16z

Privacy Terms Disclosure FAQ

Dejan Jovanović — Cosign