Gavin Mendel-gleason
Chief Executive Officer at Scidonia Limited
Vienna, Austria
Summary
🤩
Rockstar🎓
Top SchoolGavin Mendel-gleason is a software leader and CEO with 11 years of professional experience and a deep academic grounding (PhD) in computer science, specializing in formal methods, type theory, and theorem proving. He has translated research into production as CTO of TerminusDB, applying logic and formal methods to real-world distributed database design and CI/CD for data. Gavin is an active back-end and database engineer contributor to the notable TerminusDB project, helping implement core query compilation, transaction handling, and JSON processing. His career spans both research roles—developing semantic web inference for the Seshat historical databank—and entrepreneurial leadership across startups focused on AI and data. Known for combining rigorous mathematical thinking with pragmatic engineering, he is re-imagining the data space in the era of effective AI from his base in Vienna.
11 years of coding experience
15 years of employment as a software developer
B.S. PhysicsMaths, B.S. PhysicsMaths at The University of New MexicoPhD Computer Science, PhD Computer Science at Dublin City University
Stackoverflow
86reputation
500reached
1answer
1question
Github Skills (9)
prolog10
json-ld9
database-management9
database-design8
parallel-processing6
functional-programming6
terminusdb6
lisp6
database6
Programming languages (13)
Github contributions (5)
terminusdb/terminusdb
May 2019 - Jan 2023
TerminusDB is a distributed database with a collaboration model
Role in this project:
Back-end Developer & Database Engineer
Back-end Developer & Database EngineerContributions:11 releases, 285 reviews, 2514 commits in 3 years 8 months
Contributions summary:Gavin primarily focused on back-end development tasks within the TerminusDB project, including adding argument mapping utilities, fixing type-related issues, and addressing core query functionalities. Their work involved modifying and expanding upon existing query compilation and JSON processing modules, highlighting their proficiency in the project's underlying logic. The user also contributed to database operations, as demonstrated by their involvement in handling transactions and document management.
distributednosqllinked-datarevision-controlsql
terminusdb/tus
Dec 2020 - Jan 2023
TUS protocol for resumable file uploads via HTTP
Contributions:4 releases, 1 review, 49 commits in 2 years 1 month
tusresumableresumable-uploadtus-protocolurlshortener
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.