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.