Andrew Kent

Research & Engineering

I’m interested in the ways we can leverage insights from logic and mathematics to help people be more effective developers of reliable and maintainable software; I frequently spend time exploring applications of concepts from programming languages, type theory, and formal methods/verification to that end.

Background

Dr. Kent has worked at Galois as a research engineer since 2019. His academic work prior to joining Galois involved developing and deploying extensions to type systems for untyped languages (e.g., Typed Racket) to empower users with more precise reasoning and verification capabilities (specifically exploring how dependent and set-theoretic types might best serve those needs). He received a B.S. in Computer Science from Brigham Young University in 2013 and a M.S. and Ph.D. in Computer Science from Indiana University, Bloomington in 2017 and 2019 respectively. Prior to 2010, Dr. Kent also frequently conducted government-funded research while serving as an enlisted intelligence analyst in the United States Marine Corps.