Gavin Mendel-Gleason

Dr Gavin Mendel-Gleason is CTO of VectorLink and TerminusDB. He is a former research fellow at Trinity College Dublin in the School of Statistics and Computer Science. His research focuses on AI, databases, logic and verification in software engineering. He is interested in LLMs and improving the best practices of the software development community and is a strong believer in formal methods and the use of mathematics and logic as disciplines to increase the quality and robustness of software.