Gavin Mendel-Gleason

CEO

Vienna, Vienna, Austria20 yrs 2 mos experience

AI ML PractitionerAI Enabled

Key Highlights

Expert in applying formal methods to software development.
Strong background in logic programming and database design.
Leadership experience in AI and engineering design.

Stackforce AI infers this person is a leader in SaaS and research-focused software development.

Contact

Skills

Core Skills

Artificial IntelligenceEngineering DesignLogic ProgrammingSoftware SpecificationDatabase ImplementationMachine LearningNatural Language ProcessingSoftware DevelopmentAlgorithms

Other Skills

Vector DatabasesText Clustering AlgorithmsIndexing TechnologyArtificial Neural NetworksFunctional SupportRequirement SpecificationsDatabasesPythonLinuxComputer ScienceJavaProgramming

About

I'm interested in improving the best practices of the software development community. I'm a strong believer in formal methods and the use of mathematics and logic as disciplines to increase the quality and robustness of software. Specialties: Database implementation, logic programming, functional programming, type theory, logic, theorem proving, software specification.

Experience

20 yrs 2 mos

Total Experience

2 yrs 9 mos

Average Tenure

1 yr 1 mo

Current Experience

Scidonia limited

Chief Executive Officer

Apr 2025 – Present · 1 yr 1 mo · Vienna, Austria · Remote

Vectorlink.ai

Chief Executive Officer

Aug 2024 – Sep 2025 · 1 yr 1 mo · Dublin, County Dublin, Ireland · Remote

Engineering DesignArtificial IntelligenceVector Databases

Terminusdb

Chief Technology Officer

Apr 2018 – Oct 2024 · 6 yrs 6 mos · County Dublin, Ireland

I work at TerminusDB applying logic and formal methods to industry software practice for database design. We are leveraging decades of computer science research to solve real-world data management problems, bringing CI/CD to the world of data.

Trinity college dublin

Postdoctoral Research Fellow

Jan 2015 – Mar 2018 · 3 yrs 2 mos · Greater Dublin

Developed logic inference technology for semantic web databases on the ALIGNED EU project. We deployed our technology for the Seshat Global Historical databank, an ambitious project to record important social variables for all of human history.

Dublin city university

Post Doctoral Researcher

Jan 2011 – Jan 2015 · 4 yrs

I am a post-doctoral researcher in the field of machine learning for question answering.

Cognotent ltd.

Software Developer

Jul 2005 – Oct 2007 · 2 yrs 3 mos

I wrote blog aggregation and blog-post clustering software using indexing technology and text clustering algorithms while an employee at Cognotent. www.irishblogs.ie was the main application for which I was responsible.

Text Clustering AlgorithmsIndexing TechnologySoftware DevelopmentAlgorithms

Aeroglyph inc.

Chief Technical Officer

Jun 2004 – Apr 2005 · 10 mos

This small software firm was responsible for developing Caveat Caller and branched into deductive database technologies targeting the medical lab industry. It failed due to a lack of funding soon after I arrived, hence the short time span at the job.

Elsevier mdl

Senior Software Engineer

Aug 2000 – Jun 2002 · 1 yr 10 mos

At MDL I was responsible for development of the robotics component of the Afferent Combi-chem software suite. This included working closely with clients in the pharmaceutical industry to ensure that the types of synthesis they needed could be directly automated with our software.