Applications in game development for programming language theory and AI
Andy is looking at ways to improve the game programming experience through applications of programming language theory and AI. Initially he will be reviewing existing work in the areas outlined below.
Visual programming languages have become popular as accessible entry points to game development. There is scope to improve their power and flexibility, and to enhance the level of visualisation and interactivity. With a general-purpose visual language, one might host a game development toolkit within the programming environment. Multiple language subsets may be exposed for different levels of expertise, and embedded in games and applications.
With a powerful type system, a programmer may contrive function signatures whose implementation space is tractable for constraint satisfaction techniques, such that an AI assistant can propose implementations. Such a system would be highly configurable and ideal for experimentation, and may find applications in computational creativity, game design and education.
Game development has a particular set of performance requirements that few programming languages meet particularly well, and those that do are typically low-level and difficult to use. A lot of research in programming language theory can be re-examined in the context these requirements, and in the context of visual programming.
Andy graduated from Imperial College London with an MEng in Computing in 2011. Following this he worked on game engine tools and technology at a startup called Fen Research, and then as a senior developer at a software consulting firm called LShift. In 2016 he spent six months working as a Research Associate in the Computational Creativity group at Goldsmiths, before commencing his study towards a PhD.
Home institution: Goldsmiths
Supervisor: Professor Simon Colton
Ready to apply?
Once you have identified your potential supervisor, we would encourage you to contact them to discuss your research proposal.Learn More