Matteo Bianchetti
Information Systems Architect - Ontologist
United States
Summary
👤
Senior🎓
Top SchoolMatteo Bianchetti is an information systems architect and ontologist with eight years of experience building production knowledge graphs and ontology federations for e-commerce, finance, and conversational AI. He blends formal training—PhD in Logic and Philosophy of Mathematics and an MSc in Mathematics—with hands-on engineering (Python, RDF/OWL, SPARQL, RDFlib, RDFox, Protégé) to deliver scalable semantic solutions that augment LLMs and deterministic retrieval for reliable chatbots. Matteo has led end-to-end ontology programs from data ingestion and validation pipelines to Datalog/OWL inference rules and BERT-based alignment, and he has a track record of reducing manual workflows from days to minutes. He has published peer-reviewed work in top logic journals and applied mathematical logic to automated theorem proving for dialogue systems—an uncommon bridge between deep theory and applied ML. Recognized with a company-wide award at Varis, he currently applies his niche expertise on OpenAI’s GTM team while holding US permanent resident status.
8 years of coding experience
3 years of employment as a software developer
PhD Logic and Philosophy of Mathematics, PhD Logic and Philosophy of Mathematics at University of Notre DameConservatorio di Musica "G. Verdi"University of MilanBachelor of Arts - BA Piano performing, Bachelor of Arts - BA Piano performing at Istituto musicale Lettimi - Rimini (Italy)Foundation degree Multi/Interdisciplinary Studies, Foundation degree Multi/Interdisciplinary Studies at Collegio di Milano
Italian, English, Greek, Latin, German, French, Spanish, Catalan, Chinese
Stackoverflow
101reputation
0reached
0answers
0questions
Github Skills (57)
ontologies10
semantics10
ontology9
owl8
bfo8
chrome-extension8
interoperability8
browser-extension7
ecology7
react6
bioinformatics6
geneontology6
mathematics6
mathematical6
digital-humanities6
Programming languages (8)
Github contributions (5)
Mttbnchtt/ontology-and-proofs
Sep 2021 - Apr 2025
Ontological analysis of mathematical proofs
Contributions:20 PRs, 449 pushes, 25 branches in 3 years 7 months
homotopy-type-theorytheorem-provingmathematicsmathematicalobofoundry
Mttbnchtt/geometry_subjects_overlap
Mar 2021 - Nov 2022
Study adoption of geometric terms in non-geometric subjects.
Contributions:20 PRs, 35 pushes, 1 branch in 1 year 8 months
adoptiongeometricsubjects
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.