Gavin Mendel-Gleason
CTO, TerminusDB Dr. Gavin Mendel-Gleason is the CTO of TerminusDB. He is a former research fellow at Trinity College Dublin in the School of Statistics and Computer Science. His research focuses on databases, logic, and verification in software engineering.
About this speaker
Dr. Gavin Mendel-Gleason's work includes contributing to the Seshat global historical databank, an ambitious project to record and analyze patterns in human history. He is the inventor of the Web Object Query Language and the primary architect of TerminusDB and more recently, TerminusX. He is interested in improving the best practices of the software development community and a strong believer in formal methods and the use of mathematics and logic as disciplines to increase the quality and robustness of the software.