Christoph Dorn
Machine Learning Researcher at TypeDB
Oxford, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolChristoph Dorn is a machine learning researcher and mathematician based in Oxford with five years of experience bridging deep theoretical work and practical ML systems. He developed a new foundational framework unifying structures across pure mathematics and quantum physics and applies that mathematical rigour to database language design, query optimization, and ML–DB interfaces. At TypeDB he led research toward expressive knowledge representation and now advises and researches ML foundations and model design at Symbolica AI while maintaining an academic post on computable manifolds at Oxford. Comfortable moving between category-theoretic abstractions and production-facing engineering, he focuses on making software and data engineering more mathematically principled. An often-overlooked strength is his teaching background in automata, logic and complexity, which sharpens his ability to explain complex ideas and design robust, verifiable systems.
5 years of coding experience
7 years of employment as a software developer
Doctor of Philosophy (DPhil), Mathematics and Computer Science, Doctor of Philosophy (DPhil), Mathematics and Computer Science at University of OxfordMaster's degree, Mathematics, Master's degree, Mathematics at University of CambridgeBachelor of Science (B.Sc.), Physics, Bachelor of Science (B.Sc.), Physics at Eidgenössische Technische Hochschule Zürich
Github Skills (71)
agda10
graph-database10
type-system10
graph-theory10
polymorphism10
relational10
knowledge-graph10
sql10
reasoning10
relational-algebra10
database10
logic10
graph10
typescript10
knowledge-representation10
Programming languages (7)
Github contributions (5)
cxdorn/typedb-docs
Mar 2024 - Feb 2025
TypeDB Documentation
Contributions:58 pushes, 18 branches in 11 months
cxdorn/typedb
Feb 2024 - Mar 2025
TypeDB: the polymorphic database powered by types
Contributions:130 pushes, 35 branches in 1 year
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.