Eitan Chatav

Software Mathematician

San Francisco, California, United States
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Eitan Chatav is a Senior Software Engineer with 13 years of experience and a PhD in mathematics, currently based in San Francisco and working at Anduril Industries. He blends deep theoretical expertise—spanning topology, differential geometry, quantum field theory and category theory—with hands-on systems work in Haskell, C/C++, Python and cryptographic primitives. His open-source contributions include implementing core crypto (Blake2b, Keccak, secp256k1, Ed25519, Curve25519) for the notable RChain blockchain project, reflecting a rare combination of applied cryptography and backend security engineering. He has repeatedly turned advanced math into production features, from quaternionic 3D graphics and secure SQL-like query engines to privacy-preserving statistical algorithms. A collaborative communicator and teacher by background, he thrives on translating complex theory into robust, auditable software for security-, finance- and research-oriented systems.
code13 years of coding experience
job9 years of employment as a software developer
bookBS Applied mathematics, BS Applied mathematics at Columbia University
bookPhD Mathematics, PhD Mathematics at Stony Brook University
languagesFrench, Hebrew
stackoverflow-logo

Stackoverflow

Stats
66reputation
334reached
3answers
0questions
github-logo-circle

Github Skills (17)

ecdsa10
cryptography10
blockchain10
ed2551910
curve10
hashing-algorithm10
bouncy-castle9
javas8
java8
scala7
generics6
haskell6
superclass6
sql6
servant6

Programming languages (10)

DockerfileShellDhallSolidityTeXScalaJavaScriptElm

Github contributions (5)

github-logo-circle
rchain/rchain

Nov 2017 - Feb 2018

Blockchain (smart contract) platform using CBC-Casper proof of stake + Rholang for concurrent execution.
Role in this project:
userBack-end Developer & Security Engineer
Contributions:64 commits, 28 PRs, 86 pushes in 3 months
Contributions summary:Eitan primarily contributed to the "crypto" subproject, adding support for various cryptographic hash algorithms (Blake2b256, Keccak256, Sha256) and integrating native secp256k1 libraries for ECDSA signature verification, signing, and public key computation. Furthermore, the user implemented functions for Curve25519 encryption/decryption and Ed25519 signature verification/generation. These contributions focused on foundational cryptographic primitives for the blockchain platform.
rholangsmart-contractstakeethereumproof-of-stake
echatav/elliptic

Apr 2013 - Jun 2020

Contributions:25 commits, 5 pushes in 7 years 3 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.
Request Free Trial