Jorge António
Cofounder CTO at Atoma AI
United States
Summary
👤
Senior🎓
Top SchoolJorge António is a co-founder and CTO with a decade of experience building secure, scalable AI and distributed systems that bridge advanced cryptography, confidential computing, and generative models. He pioneered core components of the Cerberus BFT consensus at Tari Labs, contributed safety fixes and tests to the Tari protocol repository in Rust, and has built high-throughput LLM inference and RAG services for production use. With a PhD in pure mathematics and five published papers in derived p-adic geometry, Jorge applies mathematical rigor to practical problems like provable ETL, zero-knowledge services, and social-graph verification. He has shipped cryptographically robust systems on Solana and Near, led AI transitions at startups, and now focuses on making confidential AI accessible to enterprises while advancing the theoretical foundations that enable it.
10 years of coding experience
4 years of employment as a software developer
19/20, 19/20 at Université Paris-SorbonneMaster's degree, Mathematics, Grade 19/20, Master's degree, Mathematics, Grade 19/20 at Université Pierre et Marie Curie (Paris VI)Bachelor's degree, Mathematics, Grade 19/20, Bachelor's degree, Mathematics, Grade 19/20 at Instituto Superior Técnico
Portuguese, English, French, Spanish, Italian
Github Skills (3)
rust10
testing10
blockchain9
Programming languages (8)
Github contributions (5)
tari-project/tari
May 2022 - Jan 2023
The Tari protocol
Role in this project:
Back-end Developer
Back-end DeveloperContributions:147 reviews, 166 commits, 71 PRs in 8 months
Contributions summary:Jorge primarily contributed to the Tari protocol, focusing on bug fixes and improvements to the underlying difficulty calculation logic. They identified and addressed a potential overflow issue, implementing a fix and adding corresponding tests in Rust. Furthermore, the user added test coverage for common configuration files and made changes to the wallet codebase.
rustreactblockchaintari
AtomaAI/atoma-infer
Jun 2024 - Nov 2025
Fast serverless LLM inference, in Rust.
Contributions:47 reviews, 138 PRs, 1346 pushes in 1 year 5 months
llm-inferencerustserverless
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.