Bruno Gavranović
London, England, United Kingdom
Summary
🤩
RockstarBruno Gavranović is a research advisor and founder with a decade of experience building neural networks and the infrastructure needed to train them, focused on producing provably correct, type-safe code. He leads Coend and contributed to a $31M pivot at Symbolica AI by operationalising Categorical Deep Learning into concrete projects and teams. Holding a PhD in applied category theory, Bruno develops new architectures, mathematical foundations for generalisation on recursive data, and dependently-typed tensor tooling—most recently the TypeSafe_Tensors/TensorType framework. He combines theorem-proving work at Glasgow Lab for AI Verification with practical systems engineering, translating algebraic tactic languages into Lean meta-programs for ML-driven proof synthesis. Based in the UK, he blends deep theoretical insight with hands-on implementation in Haskell and dependently-typed languages, making abstract category theory directly useful for reliable ML systems. An uncommon strength is his simultaneous focus on mathematical precision and production-grade infrastructure that enables provable correctness at scale.
10 years of coding experience
Github Skills (62)
machine-learning10
lenses10
category-theory10
generative-adversarial-network9
automatic-differentiation9
python8
backpropagation8
derivative8
tensorflow8
agda8
functional-programming8
differentiation7
numpy7
formal-verification7
deep-learning7
Programming languages (9)
Github contributions (5)
bgavran/Agda_Category_Theory
Sep 2019 - Jan 2023
Formalization of category theory in Agda
Contributions:61 commits, 53 pushes, 1 branch in 3 years 4 months
agdacategory-theory
bgavran/autodiff
Mar 2017 - Apr 2019
Rudimentary automatic differentiation framework
Contributions:121 commits, 55 pushes, 1 branch in 2 years 2 months
automatic-differentiation
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.