Junior ML & Theoretical CS Developer

George Chemmala is a junior developer with a strong interest in theoretical Computer Science, including Machine Learning, cryptography, and proof assistants. He is proficient in Python, C, C++, Pytorch, Tensorflow, Lean, Isabelle, React, JavaScript/TypeScript, HTML, CSS, FastAPI, Git, Unix, Linux, and Docker. He is also learning Rust and Haskell. He is located in Atlanta, GA, open to remote work, and willing to relocate.