Luke Harold Miles


Fall 2019 I'm working on my master's degree in computer science at the University of Kentucky, working with Brent Harrison on problems in Embedded Agency.

I love the challenge of deciding how to represent different mathematical things in software, such as game theory or first-order logic. Usually they've been programmed before, but there are many ways to do it.

I spent summer 2019 working with Ryan Gabbard and others at USC's Information Science Institute, developing their natural-language-processing software tools.

I'm currently looking for research work starting in January 2020. Email: luke at