William Kavanagh

Office : Lilybank Gardens, G162

Email w.kavanagh.1@research.gla.ac.uk

            bkav93@gmail.com

 

Research title

Investigation into the viability of model checking to aid video game development

Research summary

I am looking at ways in which formal methods can be used to aid game development, with a particular interest in model checking.