Éric Laberge, an M.Sc. student under the supervisions of professors Sylvain Hallé and Raphaël Khoury, has successfully completed his Master’s degree in October 2018. His thesis, which lies halfway between theory and practice, had the goal of providing a mathematical definition of a video game, and then to use symbolic execution techniques to try to “solve”

…

Read more ›